9.3 KiB
- Mon actualité
- Recherche
- Publications
- Enseignement
- Programmation
- Rôles
- Anciens postes
- Adresse de contact
Je suis maître de conférences à l'Université d'Évry, Université Paris-Saclay. J'effectue mes travaux de recherche au laboratoire IBISC.
Contactez-moi à l'adresse sergiu $_{dot}$ ivanov (at)
univ-evry.fr .
Voici mon rapport d'activité de 2018 à 2022.
Liens rapides :
Mon actualité
| [2022-06-07] | Je présente le travail P vs. B: P Systems as a Formal Framework for Controllability of Boolean Networks à TIMC, Université Grenoble-Alpes. |
| [2022-05-31] | L'atelier ATAC 2022 est repoussé et remplacé par un séminaire en ligne. |
| [2022-05-23] | Notre article Tissue P Systems with Vesicles of Multisets vient d'être publié. |
Recherche
Actuellement, je travaille activement sur
médecine de réseaux biologie théorique informatique théorique nanotechnologie en ADN
Je travaille également sur
calcul inspiré par la biologie langages formels réécriture complexité modélisation biologique
J'ai de l'expérience avec les modèles formels suivants (et similaires) :
réseaux booléens systèmes à membranes 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.
Publications
Je maintiens 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-8653-3814 et j'ai un profil ResearchGate.
Enfin, jetez un œil à cette initiative: https://nofreeviewnoreview.org/.
Enseignement
Voici une liste des cours que j'ai préparés, dans l'ordre chronologique :
- 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.
Séminaires
Voici quelques diapositives de mes séminaires :
- Sequential Reprogramming of Biological Network Fate (diapositives)
- Understanding Evolution: A Methodology for Evaluating the Extensibility of Boolean Networks’ Structure and Function (diapositives)
- Theory of Computer Science: Why All That Formal Stuff? (diapositives)
- Universality and Computational Completeness of Controlled Leftist Insertion-Deletion Systems (diapositives)
Ces matériaux sont distribués sous la licence Creative Commons Paternité.
Programmation
Je développe dds, une boîte à outils faite maison pour travailler avec des systèmes dynamiques discrets en Racket, un dialecte moderne de Lisp.
Par le passé, j'ai écrit beaucoup de lignes de Haskell, C++ et Python. Voici mon profil GitHub.
Rôles
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.
Je suis co-responsable du M1 Computer & Network Systems (M1 CNS) Jean-Christophe Janodet.
Je suis membre élu du Conseil de la Graduate School « Informatique et sciences du numérique » de l'Université Paris-Saclay.
Je suis membre élu du Conseil du laboratoire IBISC.
Je co-organise le site d'Évry du hackathon annuel Nuit de l'Info avec Association Info Évry.
Je suis membre du groupe de travail pédagogique du Conseil Administratif des Ressources Informatiques (CARI Pédagogique).
Anciens postes
- 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).
Adresse de contact
Sergiu Ivanov
Bureau: 319
IBISC - IBGBI – 3ème étage
23, boulevard de France
91034 Évry, France