Sergiu Ivanov

Cette page est en lecture seule. Vous pouvez afficher le texte source, mais ne pourrez pas le modifier. Contactez votre administrateur si vous pensez qu'il s'agit d'une erreur.
~~TRANS~~

===== Bienvenue sur ma page Web ! =====

{{ :sivanov.jpg?200}}

Je suis maître de conférences à l'[[http://www.univ-evry.fr/fr/index.html|Université Évry Val d'Essonne]]. J'effectue mes travaux de recherche au laboratoire [[https://www.ibisc.univ-evry.fr/start?do=search&id=|IBISC]].

Durant l'année universitaire 2016/2017, j'ai réalisé un 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.

J'ai soutenu ma {{:phd.pdf|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 ({{:phd-beam.pdf|diapositives}}, en anglais).
J'ai rédigé ma thèse sous la direction de [[http://lacl.univ-paris12.fr/verlan/fr/index.html|Serghei Verlan]].

Écrivez-moi à ''sergiu'' <sub>dot</sub> ''ivanov'' (at) ''lacl.fr''.

Ceci est mon {{:cv-fr.pdf|CV complet}}.
==== 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 [[fr:publications|ici]].

==== Programmation ====
Je programme principalement en C++ et en [[https://www.haskell.org/|Haskell]]. Je possède une solide connaissance de Python et de Java. J'ai participé à deux éditions de [[wpfr>Google Summer of Code]]. Vous trouverez [[https://github.com/scolobb|ici]] mon profil GitHub.
==== Enseignement ====
Voici une liste des cours que j'ai préparés : [[fr:haskell_for_life|Haskell for Life]], [[fr:cours_de_systemes_et_reseaux|introduction au systèmes d'exploitation et réseaux]], [[fr:cours_de_theorie_des_langages|analyse syntaxique]]. Les matériaux des cours sont distribués sous la [[https://fr.wikipedia.org/wiki/Licence_Creative_Commons|licence Creative Commons Paternité]] {{:ccby.png?60}}.


==== 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 [[https://fr.wikipedia.org/wiki/Licence_Creative_Commons|licence Creative Commons Paternité]] {{:ccby.png?60}}.

  * Theory of Computer Science: Why All That Formal Stuff? {{:cs-theory.pdf|[diapositives]}}

  * Universality and Computational Completeness of Controlled Leftist Insertion-Deletion Systems {{:leftist-univ-beam.pdf|[diapositives]}}

  * Object-oriented Programming for Biomodelling {{:biovanov.pdf|[diapositives]}}
==== Contact =====
**Sergiu Ivanov** \\
Bureau: B57 \\
Laboratoire TIMC-IMAG \\
5 Avenue du Grand Sablon \\
38700 La Tronche, France
Sergiu Ivanov

Outils pour utilisateurs

Outils du site

Outils de la page
