Ci-dessous, les différences entre deux révisions de la page.
Les deux révisions précédentes Révision précédente Prochaine révision | Révision précédente | ||
fr:start [2017/06/07 22:42] sivanov [Contact] Mise à jour. |
fr:start [2018/10/04 10:10] (Version actuelle) sivanov |
||
---|---|---|---|
Ligne 1: | Ligne 1: | ||
~~TRANS~~ | ~~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 ! ===== | ===== 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]]. | 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]]. | ||
- | Durant l'année universitaire 2016/2017, j'ai réalisé un postdoc avec [[https://sites.google.com/site/nicolasglade/|Nicolas GLADE]] sur la modélisation biomécanique du [[https://fr.wikipedia.org/wiki/Cytosquelette|cytosquelette]], ainsi que sur de divers aspects du calcul non conventionnel, de la biologie théorique et de l'épistémologie. | + | Par le passé, j'ai réalisé un postdoc avec [[https://sites.google.com/site/nicolasglade/|Nicolas GLADE]] sur la modélisation biomécanique du [[https://fr.wikipedia.org/wiki/Cytosquelette|cytosquelette]], ainsi que sur de divers aspects du calcul non conventionnel, de la biologie théorique et de l'épistémologie. |
- | J'ai soutenu ma {{:phd.pdf|thèse}} intitulée //« Étude de la puissance d'expression et de l'universalité des modèles de calcul inspirés par la biologie »// le 23 juin 2015 ({{:phd-beam.pdf|diapositives}}, en anglais). | + | J'ai soutenu ma {{:phd.pdf|thèse}} intitulée //« Étude de la puissance d'expression et de l'universalité des modèles de calcul inspirés par la biologie »// en 2015 ({{:phd-beam.pdf|diapositives}}, en anglais). |
J'ai rédigé ma thèse sous la direction de [[http://lacl.univ-paris12.fr/verlan/fr/index.html|Serghei Verlan]]. | J'ai rédigé ma thèse sous la direction de [[http://lacl.univ-paris12.fr/verlan/fr/index.html|Serghei Verlan]]. | ||
- | Écrivez-moi à ''sergiu'' <sub>dot</sub> ''ivanov'' (at) ''lacl.fr''. | + | Écrivez-moi à ''sergiu'' <sub>dot</sub> ''ivanov'' (at) ''univ-evry.fr''. |
- | Ceci est mon {{:cv-fr.pdf|CV complet}}. | + | Ceci est mon {{:cv-fr.pdf|CV}}. |
==== Recherche ==== | ==== 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 ==== | ==== Publications ==== | ||
La liste de mes publications est disponible [[fr:publications|ici]]. | La liste de mes publications est disponible [[fr:publications|ici]]. | ||
==== Programmation ==== | ==== 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 ==== | ==== Enseignement ==== | ||
- | Voici une liste des cours que j'ai préparés : [[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]]. 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}}. | + | 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]}} | * Theory of Computer Science: Why All That Formal Stuff? {{:cs-theory.pdf|[diapositives]}} | ||
Ligne 46: | Ligne 64: | ||
* Object-oriented Programming for Biomodelling {{:biovanov.pdf|[diapositives]}} | * Object-oriented Programming for Biomodelling {{:biovanov.pdf|[diapositives]}} | ||
==== Contact ===== | ==== Contact ===== | ||
- | |||
- | Je suis actuellement ici : | ||
- | |||
- | **Sergiu Ivanov** \\ | ||
- | Bureau: B57 \\ | ||
- | Laboratoire TIMC-IMAG \\ | ||
- | 5 Avenue du Grand Sablon \\ | ||
- | 38700 La Tronche, France | ||
- | |||
- | Je serai bientôt là : | ||
**Sergiu Ivanov**\\ | **Sergiu Ivanov**\\ | ||
- | IBISC - IBGBI – 2ème étage\\ | + | Bureau: 319 \\ |
+ | IBISC - IBGBI – 3ème étage\\ | ||
23, boulevard de France\\ | 23, boulevard de France\\ | ||
91034 Évry, France | 91034 Évry, France | ||