Lecture du moment: Charles H. Bennett. The Thermodynamics of Computation—a Review.

Actuellement, je travaille activement sur

nanotechnologie en ADN   calcul naturel   biologie théorique   informatique théorique

Je travaille également sur

langages formels   réécriture   biologie de réseaux   complexité   modélisation biologique

J’ai de l’expérience avec les modèles formels suivants (et similaires) :

systèmes à membranes   réseaux booléens   systèmes à réactions   machines à registres
réseaux de Petri

Je suis intéressé par les structures formelles et abstraites et par leurs diverses connexions à la réalité biologique.

Voici une liste complète de mes publications.

Une liste assez complète de mes publications est aussi disponible sur ma page DBLP. Vous trouverez également une liste de mes publications sur HAL, avec les fichiers PDF pour certaines.

Mon numéro ORCID est 0000-0002-1537-6508 et j’ai un profil ResearchGate.

Enfin, jetez un œil à cette initiative: https://nofreeviewnoreview.org/.

Voici une liste des cours que j’ai préparés, dans l’ordre chronologique :

• nanotechnologies en ADN, avec Damien Regnault, en anglais mot de passe: m2geniomhe-dna
• introduction au calcul à membranes, avec David Orellana-Martín et Ricardo Graciani, en anglais, envoyez-moi un message pour avoir le mot de passe
• introduction à LaTeX et à Git, mot de passe: ppei-l3
• systèmes d’exploitation, mot de passe: sye-l3
• 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.

En ce moment je découvre Hy, un dialect de Lisp implanté dans l’écosystème de Python.

Je suis opportuniste dans le choix des langages de programmation. J’ai longtemps programmé en Racket, Haskell et Python. Voici mon profil GitHub.

Je suis co-responsable du M1 Computer & Network Systems (M1 CNS) Jean-Christophe Janodet.

Je suis membre élu de la Commission de la Recherche et du Conseil Académique de l’Université d’Évry.

Je suis membre élu du Conseil de la Graduate School « Informatique et sciences du numérique » de l’Université Paris-Saclay.

Je suis membre du Conseil des Utilisateurs du Numérique de l’Université d’Évry.

Je suis membre du comité éditorial de la revue Computer Science Journal of Moldova.

J’anime avec Farida Zehraoui le groupe de travail Axe transverse Médecine personnalisée à IBISC.

Je suis recommender pour Peer Community In Mathematical and Computational Biology.

• 2016–2017 : 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.
• 2015–2016 : ATER à l’Université Paris Est Créteil.
• 2012–2015 : Doctorant à l’Université Paris Est Créteil sous la direction de Sergey Verlan. 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).

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