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.

Je suis maître de conférences à l'Université Évry Val d'Essonne. J'effectue mes travaux de recherche au laboratoire IBISC.

Par le passé, j'ai réalisé un postdoc avec Nicolas GLADE sur la modélisation biomécanique du 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 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 (diapositives, en anglais). J'ai rédigé ma thèse sous la direction de Serghei Verlan.

Écrivez-moi à sergiu _dot ivanov (at) univ-evry.fr.

Ceci est mon CV.

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

La liste de mes publications est disponible ici.

Je programme principalement en Haskell. J'ai une certaine maîtrise de C++, de Python et de Java. J'ai participé à deux éditions de Google Summer of Code. Vous trouverez ici mon profil GitHub.

Voici une liste des cours que j'ai préparés :

• introduction à LaTeX
• systèmes d'exploitation
• une introduction très rapide à la vie artificielle
• réseaux de Petri pour la biomodélisation
• introduction à Cytoscape
• To Git or Not to Git
• Haskell for Life
• introduction au systèmes d'exploitation et réseaux
• bases de l'analyse syntaxique

Les matériaux des cours sont distribués sous la licence Creative Commons Paternité , à part si le contraire est indiqué sur la page du cours.

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 licence Creative Commons Paternité .

• Theory of Computer Science: Why All That Formal Stuff? [diapositives]

• Universality and Computational Completeness of Controlled Leftist Insertion-Deletion Systems [diapositives]

• Object-oriented Programming for Biomodelling [diapositives]

Sergiu Ivanov
Bureau: 319
IBISC - IBGBI – 3ème étage
23, boulevard de France
91034 Évry, France