Différences

Ci-dessous, les différences entre deux révisions de la page.

--- fr:start [2018/05/14 17:23]
sivanov [Bienvenue sur ma page Web !] Retirer des précisions sur des dates.
+++ fr:start [2018/10/04 10:10] (Version actuelle)
sivanov
@@ Ligne 1: / Ligne 1: @@
 ~~TRANS~~
+====== Cette page a déménagé ! ======
+Ma nouvelle page d'accueil se trouve désormais ici : https://www.ibisc.univ-evry.fr/~sivanov/index.html .
+La page que vous visualisez n'est pas maintenue depuis 2018-10-04.
 ===== Bienvenue sur ma page Web ! =====
-{{ :sivanov.jpg?200}}
+{{ :sivanov.png?200}}
 Je suis maître de conférences à l'[[http://www.univ-evry.fr/fr/index.html|Université Évry Val d'Essonne]]. J'effectue mes travaux de recherche au laboratoire [[https://www.ibisc.univ-evry.fr/start?do=search&id=|IBISC]].
@@ Ligne 16: / Ligne 22: @@
 Ceci est mon {{:cv-fr.pdf|CV}}.
 ==== Recherche ====
-Les domaines de recherche que j'ai déjà abordés dans mes travaux peuvent être caractérisés par les mots-clefs suivants :
+Les //domaines de recherche// que j'ai déjà abordés dans mes travaux peuvent être caractérisés par les mots-clefs suivants (liste non ordonnée) :
-''calcul non conventionnel'' \ \ ''langages formels'' \  \ ''universalité'' \ \ ''complétude computationnelle'' \ \ ''systèmes masses-ressorts'' \\ ''logiciels pour biomodélisation'' \ \ ''systèmes d'insertion/effacement''\ \
+''calcul non conventionnel'' \ \ ''langages formels'' \  \  ''réécriture formelle'' \ \ ''complexité'' \ \ ''modélisation biologique'' \\ ''logiciels de modélisation''
-''systèmes de réécriture de multiensembles'' \\ ''systèmes à membranes'' \ \ ''modélisation biologique'' \ \ ''réseaux de processeurs évolutionnaires'' \ \ ''machines à registres'' \\ ''réseaux de Petri'' \ \ ''systèmes à réactions''
-Les domaines de recherche sur lesquels je me penche beaucoup en ce moment peuvent être caractérisés par les mots-clefs suivants :
+Voici quelques //modèles formels// sur lesquels j'ai travaillé (liste non ordonnée) :
- ''systèmes complexes'' \ \ ''algèbres de modèles'' \ \ ''théorie des catégories'' \ \ ''programmation fonctionnelle'' \ \ ''biologie théorique'' \\ ''théorie des types''
+''réseaux de Petri'' \ \ ''systèmes à membranes'' \ \ ''machines à registres'' \ \ ''systèmes à réaction''
+Les domaines de recherche sur lesquels je voudrais travailler dans un //futur proche// peuvent être caractérisés par les mots-clefs suivants :
+''médecine de précision'' \ \ ''systèmes complexes'' \ \ ''théorie des catégories'' \ \ ''programmation fonctionnelle'' \ \ ''biologie théorique'' \\ ''dynamique du trafic''
 ==== Publications ====
 La liste de mes publications est disponible [[fr:publications|ici]].
 ==== Programmation ====
-Je programme principalement en C++ et en [[https://www.haskell.org/|Haskell]]. Je possède une solide connaissance de Python et de Java. J'ai participé à deux éditions de [[wpfr>Google Summer of Code]]. Vous trouverez [[https://github.com/scolobb|ici]] mon profil GitHub.
+Je programme principalement en [[https://www.haskell.org/|Haskell]]. J'ai une certaine maîtrise de C++, de Python et de Java. J'ai participé à deux éditions de [[wpfr>Google Summer of Code]]. Vous trouverez [[https://github.com/scolobb|ici]] mon profil GitHub.
 ==== Enseignement ====
-Voici une liste des cours que j'ai préparés : [[fr:alife-intro|une introduction très rapide à la vie artificielle]], [[fr:pn-biomodelling|réseaux de Petri pour la biomodélisation]], [[fr:cytoscape_intro|introduction à Cytoscape]], [[fr:haskell_for_life|Haskell for Life]], [[fr:cours_de_systemes_et_reseaux|introduction au systèmes d'exploitation et réseaux]], [[fr:cours_de_theorie_des_langages|analyse syntaxique]], [[fr:togitornottogit|To Git or Not to Git]]. Les matériaux des cours sont distribués sous la [[https://fr.wikipedia.org/wiki/Licence_Creative_Commons|licence Creative Commons Paternité]] {{:ccby.png?60}}, à part si le contraire est indiqué sur la page du cours.
+Voici une liste des cours que j'ai préparés :
+  * [[fr:latex-intro|introduction à LaTeX]]
+  * [[fr:os_ueve|systèmes d'exploitation]]
+  * [[fr:alife-intro|une introduction très rapide à la vie artificielle]]
+  * [[fr:pn-biomodelling|réseaux de Petri pour la biomodélisation]]
+  * [[fr:cytoscape_intro|introduction à Cytoscape]]
+  * [[fr:togitornottogit|To Git or Not to Git]]
+  * [[fr:haskell_for_life|Haskell for Life]]
+  * [[fr:cours_de_systemes_et_reseaux|introduction au systèmes d'exploitation et réseaux]]
+  * [[fr:cours_de_theorie_des_langages|bases de l'analyse syntaxique]]
-==== Séminaires ====
+Les matériaux des cours sont distribués sous la [[https://fr.wikipedia.org/wiki/Licence_Creative_Commons|licence Creative Commons Paternité]] {{:ccby.png?60}}, à part si le contraire est indiqué sur la page du cours.
-Voici une courte liste de mes propres sujets de séminaires favoris (la plupart des diapositives sont en anglais):
-Ces matériaux sont distribués sous la [[https://fr.wikipedia.org/wiki/Licence_Creative_Commons|licence Creative Commons Paternité]] {{:ccby.png?60}}.
+==== Séminaires ====
+Voici une courte liste de séminaires que j'ai donnés et qui m'ont bien plu (la plupart des diapositives sont en anglais). Ces matériaux sont distribués sous la [[https://fr.wikipedia.org/wiki/Licence_Creative_Commons|licence Creative Commons Paternité]] {{:ccby.png?60}}.
   * Theory of Computer Science: Why All That Formal Stuff? {{:cs-theory.pdf|[diapositives]}}

Sergiu Ivanov

Outils pour utilisateurs

Outils du site

Différences

Outils de la page