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]]. 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. 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 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''. 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 : ''calcul non conventionnel'' \ \ ''langages formels'' \ \ ''universalité'' \ \ ''complétude computationnelle'' \ \ ''systèmes masses-ressorts'' \\ ''logiciels pour biomodélisation'' \ \ ''systèmes d'insertion/effacement''\ \ ''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 : ''systèmes complexes'' \ \ ''algèbres de modèles'' \ \ ''théorie des catégories'' \ \ ''programmation fonctionnelle'' \ \ ''biologie théorique'' \\ ''théorie des types'' ==== 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. ==== 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}}. ==== Séminaires ==== 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}}. * 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 ===== 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**\\ IBISC - IBGBI – 2ème étage\\ 23, boulevard de France\\ 91034 Évry, France
Outils de la page
