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.

Durant l'année universitaire 2016/2017, 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 » le 23 juin 2015 (diapositives, en anglais). J'ai rédigé ma thèse sous la direction de Serghei Verlan.

Écrivez-moi à sergiu dot ivanov (at) lacl.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 :

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

Programmation

Je programme principalement en C++ et en Haskell. Je possède une solide connaissance de Python et de Java. J'ai participé à deux éditions de Google Summer of Code. Vous trouverez ici mon profil GitHub.

Enseignement

Voici une liste des cours que j'ai préparés : Haskell for Life, introduction au systèmes d'exploitation et réseaux, analyse syntaxique, To Git or Not to Git. Les matériaux des cours sont distribués sous la licence Creative Commons Paternité .

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

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

fr/start.txt · Dernière modification: 2017/06/08 00:55 par sivanov