Outils pour utilisateurs
Ceci est une ancienne révision du document !
~~TRANS~~ ===== Bienvenue sur ma page Web ! ===== {{ :sivanov.jpg?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]]. 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 »// 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]]. Écrivez-moi à ''sergiu'' <sub>dot</sub> ''ivanov'' (at) ''univ-evry.fr''. 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 (liste non ordonnée) : ''calcul non conventionnel'' \ \ ''langages formels'' \ \ ''réécriture formelle'' \ \ ''complexité'' \ \ ''modélisation biologique'' \\ ''logiciels de modélisation'' Voici quelques //modèles formels// sur lesquels j'ai travaillé (liste non ordonnée) : ''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 [[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: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]] 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. ==== 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]}} * Universality and Computational Completeness of Controlled Leftist Insertion-Deletion Systems {{:leftist-univ-beam.pdf|[diapositives]}} * Object-oriented Programming for Biomodelling {{:biovanov.pdf|[diapositives]}} ==== Contact ===== **Sergiu Ivanov**\\ Bureau: 319 \\ IBISC - IBGBI – 3ème étage\\ 23, boulevard de France\\ 91034 Évry, France
Outils de la page
