Outils pour utilisateurs

Outils du site


fr:start

Bienvenue sur ma page Web !

sivanov.jpg

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.

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 ici.

Programmation

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.

Enseignement

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 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]

Contact

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

fr/start.txt · Dernière modification: 2018/05/15 15:57 par sivanov