Outils pour utilisateurs

Outils du site


fr:start

Bienvenue sur ma page Web !

sivanov.jpg

Je poursuis un postdoc intitulé « Biomechanical modelling of cytoskeleton self-organization during blood platelet activation » sous la direction de Nicolas GLADE. Les travaux du postdoc s'intégreront aux activités de l'équipe DyCTiM du laboratoire TIMC-IMAG de la Faculté de Médecine de Grenoble.

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. Le manuscrit de thèse (en anglais) peut être téléchargé ici. Les diapositives de la soutenance (en anglais) peuvent être téléchargées ici.

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 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 naturel   langages formels    universalité   complétude computationnelle   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   automates cellulaires
théorie du chaos

Publications

La liste de mes publications est disponible ici.

Les articles suivants sont plutôt représentatifs de ma recherche.

  • Rudolf Freund, Sergiu Ivanov, Ludwig Staiger: Going Beyond Turing with P Automata: Regular Observer ω-Languages and Partial Adult Halting. IJUC 12(1): 51-69 (2016) PDF
  • Sergiu Ivanov, Sergey Verlan: Universality of Graph-controlled Leftist Insertion-deletion Systems with Two States. MCU 2015: 79-93 PDF
  • Sepinoud Azimi, Cristian Gratie, Sergiu Ivanov and Ion Petre: Dependency Graphs and Mass Conservation in Reaction Systems. Theoretical Computer Science (598), 2015: 23–39 PDF

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

Entre 4 et 19 décembre 2016 j'ai été invité pour enseigner le cours Haskell for Life à Pentalog Chișinău ainsi qu'à la faculté d'informatique de l'Université technique de Moldavie.

En tant qu'ATER, j'ai assuré le cours d'introduction au systèmes d'exploitation et réseaux, ainsi qu'une partie du cours de théorie des langages. De plus, j'ai été invité à Turku Center for Computer Science (Finlande) pour enseigner le cours de courte durée Haskell for Life.

En tant que doctorant-moniteur (période 2012–2015), j'ai encadré des TD/TP en plusieurs matières au niveau de la licence en informatique.

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

Sergiu Ivanov
Bureau: B57
Laboratoire TIMC-IMAG
5 Avenue du Grand Sablon
38700 La Tronche, France

fr/start.txt · Dernière modification: 2017/03/05 22:15 par sivanov