182 lines
9.7 KiB
Org Mode
182 lines
9.7 KiB
Org Mode
#+TITLE: Sergiu Ivanov
|
||
#+OPTIONS: title:nil
|
||
|
||
#+LANGUAGE: fr
|
||
|
||
#+ATTR_HTML: :class photo-ref
|
||
[[https://linktr.ee/mark_hrd][Mark]]
|
||
|
||
#+ATTR_HTML: :alt une photo de sergiu ivanov :class me
|
||
[[../content/me/sivanov.jpg]]
|
||
|
||
#+ATTR_HTML: :alt en anglais :class lang
|
||
[[file:../index.org][file:../content/imgs/en.png]]
|
||
|
||
Je suis maître de conférences à l'[[https://www.univ-evry.fr/accueil.html][Université d'Évry, Université
|
||
Paris-Saclay]]. J'effectue mes travaux de recherche au laboratoire
|
||
[[https://www.ibisc.univ-evry.fr/][IBISC]].
|
||
|
||
Contactez-moi à l'adresse *=sergiu= $_{dot}$ =ivanov= (at)
|
||
=univ-evry.fr=* .
|
||
|
||
Voici mon [[file:../content/me/ivanov-ripec.pdf][rapport d'activité]] de 2018 à 2022.
|
||
|
||
-----
|
||
|
||
Liens rapides :
|
||
|
||
#+ATTR_HTML: :class quicklinks
|
||
| | [[Mon actualité][Mon actualité]] | [[Anciens postes][Anciens postes]] | [[Rôles][Rôles]] |
|
||
| | [[Recherche]] | [[Enseignement]] | [[Adresse de contact]] |
|
||
| | [[Publications]] | [[Programmation]] | |
|
||
|
||
* Mon actualité
|
||
#+ATTR_HTML: :class news
|
||
| [2023-03-14] | Je recommande [[https://mcb.peercommunityin.org/PCIMCB/articles/rec?id=183][un article]] dans Peer Community In Mathematical and Computational Biology. |
|
||
| [2023-03-02] | Nouveau pre-print : [[https://arxiv.org/abs/2303.00110][A P Systems Variant for Reasoning about Sequential Controllability of Boolean Networks]]. |
|
||
| [2023-02-02] | J'interviens à la table ronde [[https://www.theatre-corbeil-essonnes.fr/saison-2022-2023-1/a-digital-journey-are-you-experienced][Enjeux sociétaux des innovations numériques]]. |
|
||
|
||
* Recherche
|
||
Actuellement, je /travaille activement/ sur
|
||
|
||
#+ATTR_HTML: :class keylinks
|
||
[[https://en.wikipedia.org/wiki/Mathematical_and_theoretical_biology][biologie théorique]] [[https://fr.wikipedia.org/wiki/Nanotechnologie_en_ADN][nanotechnologie en ADN]] [[https://fr.wikipedia.org/wiki/Informatique_naturelle][calcul naturel]]
|
||
[[https://fr.wikipedia.org/wiki/Informatique_th%C3%A9orique][informatique théorique]]
|
||
|
||
Je /travaille également/ sur
|
||
|
||
#+ATTR_HTML: :class keylinks
|
||
[[https://fr.wikipedia.org/wiki/Langage_formel][langages formels]] [[https://fr.wikipedia.org/wiki/Réécriture_(informatique)#Réécriture_de_mots][réécriture]] [[https://fr.wikipedia.org/wiki/R%C3%A9seau_biologique][biologie de réseaux]] [[https://fr.wikipedia.org/wiki/Complexité][complexité]]
|
||
[[https://en.wikipedia.org/wiki/Modelling_biological_systems][modélisation biologique]]
|
||
|
||
J'ai de l'expérience avec les /modèles formels/ suivants (et
|
||
similaires) :
|
||
|
||
#+ATTR_HTML: :class keylinks
|
||
[[https://en.wikipedia.org/wiki/P_system][systèmes à membranes]] [[https://en.wikipedia.org/wiki/Boolean_networks][réseaux booléens]] [[https://home.cs.colorado.edu/~lizb/phd/grzegorz.pdf][systèmes à réactions]]
|
||
[[https://fr.wikipedia.org/wiki/Machine_à_registres_illimités][machines à registres]] @@html:<br />@@ [[https://fr.wikipedia.org/wiki/Réseau_de_Petri][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 [[file:publications.org][liste complète]] de mes publications.
|
||
|
||
Une liste assez complète de mes publications est aussi disponible
|
||
sur [[https://dblp.uni-trier.de/pers/hd/i/Ivanov_0001:Sergiu][ma page DBLP]]. Vous trouverez également une liste de [[https://hal.archives-ouvertes.fr/search/index/?q=sergiu+ivanov][mes
|
||
publications sur HAL]], avec les fichiers PDF pour certaines.
|
||
|
||
Mon numéro ORCID est [[https://orcid.org/0000-0002-1537-6508][0000-0002-1537-6508]] et j'ai un [[https://www.researchgate.net/profile/Sergiu_Ivanov4][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 :
|
||
|
||
- [[https://ecampus.paris-saclay.fr/course/view.php?id=79600][nanotechnologies en ADN]], avec [[https://www.ibisc.univ-evry.fr/~dregnault/Page_dacceuil.html][Damien Regnault]], en anglais mot de
|
||
passe: =m2geniomhe-dna=
|
||
- [[https://ecampus.paris-saclay.fr/course/view.php?id=21726][introduction au calcul à membranes]], avec [[http://www.cs.us.es/~dorellana/][David Orellana-Martín]] et
|
||
[[https://www.researchgate.net/profile/Ricardo_Graciani_Diaz][Ricardo Graciani]], en anglais, envoyez-moi un message pour avoir le
|
||
mot de passe
|
||
|
||
- [[https://ecampus.paris-saclay.fr/course/view.php?id=75618][introduction à LaTeX et à Git]], mot de passe: =ppei-l3=
|
||
- [[https://ecampus.paris-saclay.fr/course/view.php?id=75796][systèmes d'exploitation]], mot de passe: =sye-l3=
|
||
- [[file:alife-intro.org][une introduction très rapide à la vie artificielle]]
|
||
- [[file:pn-biomodelling.org][réseaux de Petri pour la biomodélisation]]
|
||
- [[file:cytoscape-intro.org][introduction à Cytoscape]]
|
||
- [[file:togit.org][To Git or Not to Git]]
|
||
- [[file:h4life.org][Haskell for Life]]
|
||
- [[file:os-upec.org][introduction au systèmes d'exploitation et réseaux]]
|
||
- [[file:parsing-upec.org][bases de l'analyse syntaxique]]
|
||
|
||
#+ATTR_HTML: :alt image de la licence Creative Commons Attribution Alone :class ccby
|
||
[[https://fr.wikipedia.org/wiki/Licence_Creative_Commons][file:../content/imgs/ccby.png]]
|
||
|
||
Les matériaux des cours sont distribués sous la [[https://fr.wikipedia.org/wiki/Licence_Creative_Commons][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
|
||
([[file:../content/seminars/cmsb-extension-beam.pdf][diapositives]])
|
||
- Understanding Evolution: A Methodology for Evaluating the
|
||
Extensibility of Boolean Networks’ Structure and Function
|
||
([[file:../content/seminars/sbn-extension-beam-bioss-ia.pdf][diapositives]])
|
||
- Theory of Computer Science: Why All That Formal Stuff?
|
||
([[file:../content/seminars/cs-theory.pdf][diapositives]])
|
||
- Universality and Computational Completeness of Controlled Leftist
|
||
Insertion-Deletion Systems ([[file:../content/seminars/leftist-univ-beam.pdf][diapositives]])
|
||
|
||
#+ATTR_HTML: :alt image de la licence Creative Commons Attribution Alone :class ccby
|
||
[[https://fr.wikipedia.org/wiki/Licence_Creative_Commons][file:../content/imgs/ccby.png]]
|
||
|
||
Ces matériaux sont distribués sous la [[https://fr.wikipedia.org/wiki/Licence_Creative_Commons][licence Creative Commons
|
||
Paternité]].
|
||
|
||
* Programmation
|
||
Je développe [[https://git.marvid.fr/scolobb/dds][dds]], une boîte à outils faite maison pour travailler
|
||
avec des systèmes dynamiques discrets en [[https://racket-lang.org/][Racket]], un dialecte moderne de
|
||
Lisp.
|
||
|
||
Par le passé, j'ai écrit beaucoup de lignes de Haskell, C++ et
|
||
Python. Voici [[https://github.com/scolobb][mon profil GitHub]].
|
||
|
||
* Rôles
|
||
J'anime avec [[https://www.ibisc.univ-evry.fr/~zehraoui/Farida_Zehraoui.html][Farida Zehraoui]] le groupe de travail /Axe transverse
|
||
[[https://fr.wikipedia.org/wiki/M%C3%A9decine_personnalis%C3%A9e][Médecine personnalisée]]/ à IBISC.
|
||
|
||
Je suis [[https://mcb.peercommunityin.org/public/user_public_page?userId=439][recommender]] pour [[https://mcb.peercommunityin.org/][Peer Community In Mathematical and
|
||
Computational Biology]].
|
||
|
||
Je suis membre du comité éditorial de la revue [[http://www.math.md/publications/csjm/][Computer Science
|
||
Journal of Moldova]].
|
||
|
||
Je suis co-responsable du M1 Computer & Network Systems ([[https://www.universite-paris-saclay.fr/formation/master/informatique/m1-computer-network-systems][M1 CNS]])
|
||
[[https://ibisc.univ-evry.fr/~janodet/][Jean-Christophe Janodet]].
|
||
|
||
Je suis membre élu de la [[https://www.univ-evry.fr/recherche/commission-de-la-recherche.html][/Commission de la Recherche/]] de
|
||
l'Université d'Évry.
|
||
|
||
Je suis membre élu du /Conseil de la [[https://www.universite-paris-saclay.fr/graduate-school-informatique-et-sciences-du-numerique][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 [[https://www.nuitdelinfo.com/][/Nuit de l'Info/]]
|
||
avec [[https://info-evry.fr/][Association Info Évry]].
|
||
|
||
Je suis membre du /Conseil des Utilisateurs du Numérique/ de
|
||
l'Université d'Évry.
|
||
|
||
* Anciens postes
|
||
- 2016–2017 : /Postdoc/ avec [[https://sites.google.com/site/nicolasglade/][Nicolas Glade]] sur la modélisation
|
||
biomécanique du [[https://fr.wikipedia.org/wiki/Cytosquelette][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'[[http://www.u-pec.fr/][Université Paris Est Créteil]].
|
||
|
||
- 2012–2015 : /Doctorant/ à l'[[http://www.u-pec.fr/][Université Paris Est Créteil]] sous la
|
||
direction de [[http://lacl.univ-paris12.fr/verlan/index_fr.html][Sergey Verlan]]. J'ai soutenu [[file:../content/phd/ivanov-phd.pdf][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
|
||
([[file:../content/phd/ivanov-phd-beam.pdf][diapositives]], en anglais).
|
||
|
||
* Adresse de contact *Sergiu Ivanov* \\
|
||
Bureau: 319 \\
|
||
IBISC - [[https://www.openstreetmap.org/search?query=%C3%A9vry%20ibgbi][IBGBI]] – 3ème étage \\
|
||
23, boulevard de France \\
|
||
91034 Évry, France
|
||
|
||
* Local Variables :noexport:
|
||
# Local Variables:
|
||
# org-link-file-path-type: relative
|
||
# eval: (auto-fill-mode)
|
||
# ispell-local-dictionary: "fr"
|
||
# End:
|