Compare commits

...

3 Commits

Author SHA1 Message Date
Sergiu Ivanov a35c162c12 Add the teaching activities for this year. 2021-01-08 13:41:02 +01:00
Sergiu Ivanov 513fd4ba1a Update the bibliography. 2021-01-08 12:26:37 +01:00
Sergiu Ivanov 40a18a79e1 Remove autonomous vehicles.
I definitely don't want this on my dossier: my contribution was
extremely minor, and I got almost absorbed into a collaboration with
SystemX which I didn't like at all.
2021-01-08 12:12:11 +01:00
5 changed files with 253 additions and 51 deletions

View File

@ -1,3 +1,53 @@
@article{DBLP:journals/biosystems/DelaplaceI20,
author = {Franck Delaplace and
Sergiu Ivanov},
title = {Bisimilar Booleanization of multivalued networks},
journal = {Biosyst.},
volume = {197},
pages = {104205},
year = {2020},
url = {https://doi.org/10.1016/j.biosystems.2020.104205},
doi = {10.1016/j.biosystems.2020.104205},
timestamp = {Fri, 25 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/biosystems/DelaplaceI20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jmemcom/IvanovP20,
author = {Sergiu Ivanov and
Ion Petre},
title = {Controllability of reaction systems},
journal = {J. Membr. Comput.},
volume = {2},
number = {4},
pages = {290--302},
year = {2020},
url = {https://doi.org/10.1007/s41965-020-00055-x},
doi = {10.1007/s41965-020-00055-x},
timestamp = {Thu, 31 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jmemcom/IvanovP20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jmemcom/VerlanFAIP20,
author = {Sergey Verlan and
Rudolf Freund and
Artiom Alhazov and
Sergiu Ivanov and
Linqiang Pan},
title = {A formal framework for spiking neural {P} systems},
journal = {J. Membr. Comput.},
volume = {2},
number = {4},
pages = {355--368},
year = {2020},
url = {https://doi.org/10.1007/s41965-020-00050-2},
doi = {10.1007/s41965-020-00050-2},
timestamp = {Thu, 31 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jmemcom/VerlanFAIP20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/AlhazovFIPS20,
author = {Artiom Alhazov and
Rudolf Freund and
@ -11,7 +61,7 @@
year = {2020},
url = {https://doi.org/10.1016/j.tcs.2018.09.009},
doi = {10.1016/j.tcs.2018.09.009},
timestamp = {Wed, 15 Jan 2020 00:00:00 +0100},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/AlhazovFIPS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@ -27,7 +77,7 @@
year = {2020},
url = {https://doi.org/10.1016/j.tcs.2018.07.016},
doi = {10.1016/j.tcs.2018.07.016},
timestamp = {Tue, 07 Jan 2020 00:00:00 +0100},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/AlhazovFI20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@ -74,7 +124,7 @@
year = {2019},
url = {https://doi.org/10.1007/s11047-019-09747-5},
doi = {10.1007/s11047-019-09747-5},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/nc/AlhazovFI19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@ -133,7 +183,7 @@
year = {2018},
url = {https://doi.org/10.1007/s11047-017-9649-7},
doi = {10.1007/s11047-017-9649-7},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/nc/AlhazovFIOV18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@ -159,7 +209,7 @@
year = {2018},
url = {https://doi.org/10.1007/978-3-030-00265-7\_1},
doi = {10.1007/978-3-030-00265-7\_1},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/AlhazovF0OV18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@ -205,7 +255,7 @@
year = {2018},
url = {https://doi.org/10.1007/978-3-319-92402-1\_3},
doi = {10.1007/978-3-319-92402-1\_3},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mcu/AlhazovF018.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@ -251,7 +301,7 @@
year = {2018},
url = {https://doi.org/10.1007/978-3-319-92435-9\_1},
doi = {10.1007/978-3-319-92435-9\_1},
timestamp = {Tue, 14 May 2019 10:00:35 +0200},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/uc/AlhazovF018.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@ -268,7 +318,7 @@
year = {2017},
url = {https://doi.org/10.3233/FI-2017-1580},
doi = {10.3233/FI-2017-1580},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fuin/IvanovV17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@ -328,14 +378,14 @@
year = {2017},
url = {https://doi.org/10.1016/j.tcs.2017.03.012},
doi = {10.1016/j.tcs.2017.03.012},
timestamp = {Wed, 14 Jun 2017 01:00:00 +0200},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/AlhazovFFISS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/complexnetworks/VuongCIGT17,
author = {Quoc{-}Trung Vuong and
Roselyne Chauvin and
Roselyne J. Chauvin and
Sergiu Ivanov and
Nicolas Glade and
Laurent Trilling},
@ -356,7 +406,7 @@
year = {2017},
url = {https://doi.org/10.1007/978-3-319-72150-7\_46},
doi = {10.1007/978-3-319-72150-7\_46},
timestamp = {Sat, 19 Oct 2019 20:11:51 +0200},
timestamp = {Thu, 29 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/complexnetworks/VuongCIGT17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@ -379,7 +429,7 @@
year = {2017},
url = {https://doi.org/10.1007/978-3-319-73359-3\_2},
doi = {10.1007/978-3-319-73359-3\_2},
timestamp = {Fri, 28 Feb 2020 19:27:04 +0100},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/membrane/AlhazovF017.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@ -401,7 +451,7 @@
year = {2017},
url = {https://doi.org/10.4204/EPTCS.252.6},
doi = {10.4204/EPTCS.252.6},
timestamp = {Wed, 12 Sep 2018 01:00:00 +0200},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1708-06458.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@ -479,7 +529,7 @@
year = {2016},
url = {https://doi.org/10.1007/978-3-319-54072-6\_4},
doi = {10.1007/978-3-319-54072-6\_4},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/membrane/AlhazovAF016.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@ -505,7 +555,7 @@
year = {2016},
url = {https://doi.org/10.1007/978-3-319-54072-6\_5},
doi = {10.1007/978-3-319-54072-6\_5},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/membrane/AlhazovBF0PZ16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@ -585,7 +635,7 @@
year = {2015},
url = {https://doi.org/10.3233/FI-2015-1203},
doi = {10.3233/FI-2015-1203},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fuin/0001V15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@ -623,7 +673,7 @@
year = {2015},
url = {https://doi.org/10.1007/978-3-319-23111-2\_6},
doi = {10.1007/978-3-319-23111-2\_6},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mcu/0001V15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@ -647,7 +697,7 @@
year = {2015},
url = {https://doi.org/10.1007/978-3-319-28475-0\_9},
doi = {10.1007/978-3-319-28475-0\_9},
timestamp = {Tue, 14 May 2019 10:00:47 +0200},
timestamp = {Sun, 25 Oct 2020 23:18:19 +0100},
biburl = {https://dblp.org/rec/conf/membrane/Freund0V15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@ -687,7 +737,7 @@
year = {2014},
url = {https://doi.org/10.3233/FI-2014-1088},
doi = {10.3233/FI-2014-1088},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fuin/AlhazovF014.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@ -726,7 +776,7 @@
year = {2014},
url = {https://doi.org/10.1007/978-3-319-09704-6\_17},
doi = {10.1007/978-3-319-09704-6\_17},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dcfs/0001PV14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@ -787,7 +837,7 @@
year = {2013},
url = {https://doi.org/10.1007/978-3-642-54239-8\_16},
doi = {10.1007/978-3-642-54239-8\_16},
timestamp = {Fri, 28 Feb 2020 19:27:04 +0100},
timestamp = {Sun, 25 Oct 2020 23:18:19 +0100},
biburl = {https://dblp.org/rec/conf/membrane/IvanovV13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@ -882,7 +932,7 @@
year = {2011},
url = {https://doi.org/10.4018/jncr.2011040105},
doi = {10.4018/jncr.2011040105},
timestamp = {Thu, 25 Jun 2020 01:00:00 +0200},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ijncr/IvanovARG11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@ -991,7 +1041,7 @@
year = {2010},
url = {https://doi.org/10.1007/978-3-642-18123-8\_8},
doi = {10.1007/978-3-642-18123-8\_8},
timestamp = {Fri, 28 Feb 2020 19:27:04 +0100},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/membrane/AlhazovCIR10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@ -1015,7 +1065,7 @@
year = {2010},
url = {https://doi.org/10.1007/978-3-642-18123-8\_9},
doi = {10.1007/978-3-642-18123-8\_9},
timestamp = {Fri, 28 Feb 2020 19:27:04 +0100},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/membrane/AlhazovIR10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}

View File

@ -40,6 +40,160 @@ d'enseignement.
\newcommand{\descspace}{.9mm}
\setlist[itemize]{itemsep=3mm,leftmargin=4ex,label={$\bullet$}}
\subsubsection*{Année universitaire 2020--2021 : enseignement statutaire + vulgarisation}
\begin{itemize}
\item {\em Introduction à la biologie des réseaux, module Personalised
Medicine} : S3 M2 \textsc{Geniomhe}, UEVE \hspace{1ex}
\\[\descspace]
Ce cours introduit les notions fondamentales de la biologie
théorique, telles que la modélisation, le langage de modélisation,
l'abstraction, etc. Ensuite les réseaux de Petri sont présentés et
leurs applications à la modélisation et analyse biologique sont
examinés. Enfin, les réseaux booléens à seuil sont présentés et
étudiés dans le contexte de modélisation biologique.
\\[\descspace]
{\em Co-responsable} : Sergiu \textsc{Ivanov} (\smallemail{sergiu.ivanov@univ-evry.fr}) \\
{\em Charge} : 3h CM + 7h TD
\item {\em Une introduction très rapide à la vie artificielle} : S3 M2
CILS, UEVE \hspace{1ex} \\[\descspace]
L'objectif de ce cours est d'initier les étudiants aux bases de la
vie artificielle. Sa partie centrale est un TD sur machine pendant
lequel les étudiants sont invités à réaliser un environnement de vie
artificielle pour l'évolution d'agents pilotés par les réseaux
booléens à seuil.
\\[\descspace]
{\em Co-responsable} : Sergiu \textsc{Ivanov} (\smallemail{sergiu.ivanov@univ-evry.fr}) \\
{\em Charge} : 3h CM + 6h TD
\item {\em Introduction aux réseaux booléens à seuil} : S3 M2 SSB,
UEVE
\\[\descspace]
Les réseaux booléens à seuil (RBàS) sont un formalisme inspiré par
l'organisation des systèmes de neurones dans les organismes
vivants. Dans les RBàS, les nœuds font une somme pondérée des
entrées, dont la valeur détermine d'activation ou non du nœud
(l'émission ou non du signal 1). Les RBàS peuvent représenter des
éléments de communication cellulaire, responsables de la réalisation
d'une certaine fonction ou d'un ensemble de fonctions. Ce cours vise
à familiariser les étudiants avec le modèle des RBàS et, dans un
second temps, à illustrer l'usage de formalismes différents pour la
modélisation biologique.
\\[\descspace]
{\em Co-responsable} : Sergiu \textsc{Ivanov} (\smallemail{sergiu.ivanov@univ-evry.fr}) \\
{\em Charge} : 3h CM + 9h TD
\item {\em Introduction à \LaTeX (PPPEI)} : S5 L3 Info, UEVE
\\[\descspace]
Le but de ce cours est d'expliquer quelques notions de \LaTeX{} et
ensuite de laisser les étudiants explorer le langage et l'écosystème
indépendemment. Les sujets couverts dans les slides comprennent :
structuration du document, format des paragraphes, tableaux,
figures, notations mathématiques. Les slides concluent par des
références vers les documentations de Beamer et TikZ, suggérant
ainsi ces deux librairies pour une étude individuelle. À la suite
des slides, l'enseignant proposera trois documents mis en page avec
\LaTeX{} (typiquement une consigne de TD, quelques slides, etc.) et
expliquera leur code source. Après cette partie guidée du cours, les
étudiants choisiront des sujets techniques de leur domaine et
rédigeront, en \LaTeX{}, un rapport technique d'une page.
\\[\descspace]
{\em Responsable} : Sergiu \textsc{Ivanov} (\smallemail{sergiu.ivanov@univ-evry.fr}) \\
{\em Charge} : 27h cours/TD
\item {\em Systèmes d'exploitation} : S6 L3 Info, UEVE
\hspace{1ex} \\[\descspace]
Ce cours présente d'abord brièvement l'historique et la typologie
des systèmes d'exploitation et ensuite se penche sur deux aspects de
la conception et réalisation de ces systèmes : les entrées/sorties
et la gestion du parallélisme et de la concurrence. En ce qui
concerne les entrées/sorties, sont analysées en priorité les notions
des interruptions et des tampons. Pour ce qui est du parallélisme et
de la concurrence, le parallélisme maximal et les blocages sont
étudiés. Quelques algorithmes de parallélisation et de
détection/évitement de blocages sont également présentés.
\\[\descspace]
{\em Responsable} : Sergiu \textsc{Ivanov} (\smallemail{sergiu.ivanov@univ-evry.fr}) \\
{\em Charge} : Conception du cours + 18h CM + 18h TD
\item {\em Algorithmique et programmation} : S2 Portail Maths/Info
(L1), UEVE
\\[\descspace]
Ce cours introduit les étudiants à la programmation en C. Les
concepts de base de ce langage (pointeurs, tableaux, allocation
dynamique, chaînes de caractères, fonctions, structures) sont
évoqués et appliqués en TD à la résolution des situations pratiques
: gestion d'une liste d'utilisateurs, réalisation des jeux, etc.\\[\descspace]
{\em Responsable} : Franck \textsc{Pommereau} (\smallemail{franck.pommereau@univ-evry.fr}) \\
{\em Charge} : 36h TD
\item {\em Architecture} : S2 Portail Maths/Info (L1), UEVE
\\[\descspace]
Ce cours introduit les étudiants aux fondements de l'architecture
des ordinateurs dans le but de faciliter la compréhension du
fonctionnement des matériels et des logiciels. Les TD proposent des
exercices ludiques permettant de mieux assimiler les
concepts enseignés.
{\em Responsable} : Franck \textsc{Pommereau} (\smallemail{franck.pommereau@univ-evry.fr}) \\
{\em Charge} : 18h TD
\item {\em Programmation système} : S2 L2 Info, UEVE
\\[\descspace]
Ce cours initie les étudiants aux notions de base le la
programmation système, Linux étant pris comme exemple de système
d'exploitation. Diverses primitives systèmes sont étudiés, comme
{\tt fork}, {\tt exec}, etc., et leurs particularités et
applications sont explorées en TD sur machine.
{\em Responsable} : Franck \textsc{Pommereau} (\smallemail{franck.pommereau@univ-evry.fr}) \\
{\em Charge} : 18h TD
\item {\em Programmation impérative} : S1 Portail Maths/Info (L1),
UEVE
\\[\descspace]
Ce cours vise à familiariser les étudiants du portail
« Mathématiques, Informatique, Physique/Chimie, Sciences pour
l'ingénieur » avec les concepts fondamentaux de la programmation
impérative : instructions, variables, conditionnelles, boucles,
etc. Les étudiants apprennent la réflexion algorithmique en TD,
qu'ils appliquent ensuite en TP et pour la réalisation de 3
mini-projets.\\[\descspace]
{\em Responsable} : Guillaume \textsc{Hutzler} (\smallemail{guillaume.hutzler@univ-evry.fr}) \\
{\em Charge} : 36h TD
\item organisation de la {\em Fête de la science} \hspace{1ex}({\em
1 jours})\\[\descspace]
La {\em Fête de la science} est un évènement organisé par
l'Université d'Évry et le Genopole qui vise à rapprocher le grand
public de la science par l'animation des stands de vulgarisation
ludique. Le département informatique de l'Université d'Évry se donne
l'ambition d'expliquer les aspects théoriques et pratiques de sa
discipline en proposant des jeux, y compris sans support numérique,
illustrant différents sous-domaines.
\\[\descspace]
{\em Responsable} : Sergiu \textsc{Ivanov} (\smallemail{sergiu.ivanov@univ-evry.fr}) \\
{\em Charge} : Organisation des stands virtuels de département de
l'informatique, animation d'un stand
\item {\em Émulateur} : S1 Portail Maths/Info (L1), UEVE \\[\descspace]
Ce module est un dispositif d'accueil pour les néo-bacheliers ayant
reçu la réponse OUI-SI sur Parcoursup, et vise à créer de l'intérêt
pour les disciplines fondamentales du portail à travers des
activités ludiques (construction de robots) nécessitant une approche
multi-disciplinaire. Les étudiants sont invités à développer leur
autonomie en travaillant par petits groupes avec des responsabilités
claires attribuées à chaque membre.
{\em Responsable} : Sergiu \textsc{Ivanov} (\smallemail{sergiu.ivanov@univ-evry.fr}) \\
{\em Charge} : 10h TD
\item {\em Méthodologie} : S1 Portails Maths/Info (L1), UEVE \\[\descspace]
L'objectif de ce module est de donner aux étudiants les éléments
pour organiser leur travail à l'université, ainsi que des les aider
de se retrouver dans les multiples structures universitaires qui
peuvent les aider ou accompagner.
{\em Responsable} : Alexandre \textsc{Vidal} (\smallemail{alexandre.vidal@univ-evry.fr}) \\
{\em Charge} : 7h TD
\end{itemize}
\subsubsection*{Année universitaire 2019--2020 : enseignement statutaire + vulgarisation}
\begin{itemize}
\item {\em Introduction aux systèmes à membranes en ligne}
@ -170,7 +324,18 @@ d'enseignement.
qu'ils appliquent ensuite en TP et pour la réalisation de 3
mini-projets.\\[\descspace]
{\em Responsable} : Guillaume \textsc{Hutzler} (\smallemail{guillaume.hutzler@univ-evry.fr}) \\
{\em Charge} : 18h TD
{\em Charge} : 72h TD
\item {\em Émulateur} : S1 L1 Portail, UEVE \\[\descspace]
Ce module est un dispositif d'accueil pour les néo-bacheliers ayant
reçu la réponse OUI-SI sur Parcoursup, et vise à créer de l'intérêt
pour les disciplines fondamentales du portail à travers des
activités ludiques (construction de robots) nécessitant une approche
multi-disciplinaire. Les étudiants sont invités à développer leur
autonomie en travaillant par petits groupes avec des responsabilités
claires attribuées à chaque membre.
{\em Co-responsable} : Sergiu \textsc{Ivanov} (\smallemail{sergiu.ivanov@univ-evry.fr}) \\
{\em Charge} : 10h TD
\item organisation de la {\em Fête de la science} \hspace{1ex}({\em
1-2 jours})\\[\descspace]
@ -274,6 +439,17 @@ d'enseignement.
{\em Responsable} : Guillaume \textsc{Hutzler} (\smallemail{guillaume.hutzler@univ-evry.fr}) \\
{\em Charge} : 18h TD
\item {\em Émulateur} : S1 L1 Portail, UEVE \\[\descspace]
Ce module est un dispositif d'accueil pour les néo-bacheliers ayant
reçu la réponse OUI-SI sur Parcoursup, et vise à créer de l'intérêt
pour les disciplines fondamentales du portail à travers des
activités ludiques (construction de robots) nécessitant une approche
multi-disciplinaire. Les étudiants sont invités à développer leur
autonomie en travaillant par petits groupes avec des responsabilités
claires attribuées à chaque membre.
{\em Co-responsable} : Sergiu \textsc{Ivanov} (\smallemail{sergiu.ivanov@univ-evry.fr}) \\
{\em Charge} : 10h TD
\item participation à la {\em Fête de la science} \hspace{1ex}({\em
2 jours})\\[\descspace]
La {\em Fête de la science} est un évènement organisé par

View File

@ -92,7 +92,7 @@ Université Paris Est & Doctorant
\subsection*{Publications}
\noindent
23 revues internationales, 23 manifestations internationales (avec
26 revues internationales, 23 manifestations internationales (avec
comité de sélection et publication des actes), 3 publications
informelles (arXiv), 2 rapport techniques.

View File

@ -13,7 +13,7 @@
\begin{refsection}[bib/sivanov.bib,bib/sivanov-extra.bib]
\section{Publications et communications}
J'ai rédigé ou participé à la
rédaction de 52 publications, dont 23 dans des revues internationales
rédaction de 55 publications, dont 26 dans des revues internationales
et 23 à des manifestations internationales avec comité de sélection et
publication des actes. Cette section contient une liste complète de
mes publications, par catégorie.

View File

@ -85,30 +85,6 @@ exemple,~\cite{mandon2017}). Actuellement, nous nous penchons sur le
problème de définition de contrôle séquentiel d'un réseau, tout en
gardant des temps raisonnables d'analyse par ordinateur.
\subsubsection{Méthodes formelles pour le véhicule autonome}
La conception de l'automobile autonome est l'un des objectifs
magistraux de l'industrie et la science modernes ; en effet, un
véhicule capable de se conduire lui-même en respectant le code de la
route et la sécurité des acteurs du trafic permettra de lever de
nombreux verrous dans les domaines de la logistique, du transport de
personnes et de marchandises, etc. La conception d'un tel véhicule
pose des défis importants dont l'affrontement nécessite une véritable
synergie interdisciplinaire.
Dans cette optique d'interdisciplinarité, je participe au travaux de
l'équipe COSMO qui étudient le véhicule autonome non pas comme un
objet physique suivant des trajectoires sur une route réelle, mais
comme un agent interagissant avec d'autres dans un espace virtuel
linéaire. Cette représentation éloigne le modèle de la réalité
physique, certes, mais elle nous permet d'aller au-delà de la sécurité
routière et d'étudier le {\em confort} additionnel que des protocoles
de {\em communication} pourrait procurer aux usagers de la route.
Le cadre de cette étude est posé dans les articles bientôt publiés de
Jeremy \textsc{Sobieraj}. Ma contribution se cantonne actuellement à
l'étude du confort des usagers sur une voie d'insertion, mais je
compte élargir mon investissement.
\subsection{Travaux hors thèse et postdoctoraux}
Avant le début de ma thèse et pendant mon doctorat j'ai travaillé sur
des problèmes qui n'étaient pas directement liés à ceux qui sont