Outils pour utilisateurs

Outils du site


fr:start

Différences

Ci-dessous, les différences entre deux révisions de la page.

Lien vers cette vue comparative

Les deux révisions précédentes Révision précédente
Prochaine révision
Révision précédente
fr:start [2017/06/08 00:55]
sivanov [Enseignement] Ajouter une référence vers To Git or Not to Git.
fr:start [2018/10/04 10:10] (Version actuelle)
sivanov
Ligne 1: Ligne 1:
 ~~TRANS~~ ~~TRANS~~
 +
 +====== Cette page a déménagé ! ======
 +
 +Ma nouvelle page d'​accueil se trouve désormais ici : https://​www.ibisc.univ-evry.fr/​~sivanov/​index.html .
 +
 +La page que vous visualisez n'est pas maintenue depuis 2018-10-04.
  
 ===== Bienvenue sur ma page Web ! ===== ===== Bienvenue sur ma page Web ! =====
  
-{{ :sivanov.jpg?200}}+{{ :sivanov.png?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]]. 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.+Par le passé, 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 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 »// en 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]]. 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''​.+Écrivez-moi à ''​sergiu''​ <​sub>​dot</​sub>​ ''​ivanov''​ (at) ''​univ-evry.fr''​.
  
 Ceci est mon {{:​cv-fr.pdf|CV}}. Ceci est mon {{:​cv-fr.pdf|CV}}.
 ==== Recherche ==== ==== 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 :+Les //domaines de recherche// que j'ai déjà abordés dans mes travaux peuvent être caractérisés par les mots-clefs suivants ​(liste non ordonnée) ​:
  
-''​calcul non conventionnel''​ \ \ ''​langages formels''​ \  \ ''​universalité''​ \ \ ''​complétude computationnelle''​ \ \ ''​systèmes masses-ressorts''​ \\ ''​logiciels pour biomodélisation''​ \ \ ''​systèmes d'​insertion/​effacement''​\ \ +''​calcul non conventionnel''​ \ \ ''​langages formels''​ \  \  ''​réécriture ​formelle''​ \ \ ''​complexité''​ \ \ ''​modélisation biologique''​ \\ ''​logiciels ​de modélisation''​
-''​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 ​:+Voici quelques //modèles formels// ​sur lesquels ​j'ai travaillé (liste non ordonnée) ​:
  
- ''​systèmes complexes''​ \ \ ''​algèbres ​de modèles''​ \ \ ''​théorie des catégories''​ \ \ ''​programmation fonctionnelle''​ \ \ ''​biologie théorique''​ \\ ''​théorie des types''​+''​réseaux ​de Petri''​ \ \ ''​systèmes à membranes''​ \ \ ''​machines à registres''​ \ \ ''​systèmes à réaction''​
  
 +Les domaines de recherche sur lesquels je voudrais travailler dans un //futur proche// peuvent être caractérisés par les mots-clefs suivants :
 +
 +''​médecine de précision''​ \ \ ''​systèmes complexes''​ \ \ ''​théorie des catégories''​ \ \ ''​programmation fonctionnelle''​ \ \ ''​biologie théorique''​ \\ ''​dynamique du trafic''​
 ==== Publications ==== ==== Publications ====
 La liste de mes publications est disponible [[fr:​publications|ici]]. La liste de mes publications est disponible [[fr:​publications|ici]].
  
 ==== Programmation ==== ==== 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.+Je programme principalement en [[https://​www.haskell.org/​|Haskell]]. ​J'​ai ​une certaine maîtrise de C++, 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 ==== ==== 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]],​ [[fr:​togitornottogit|To Git or Not to Git]]. 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}}.+Voici une liste des cours que j'ai préparés :
  
 +  * [[fr:​latex-intro|introduction à LaTeX]]
 +  * [[fr:​os_ueve|systèmes d'​exploitation]]
 +  * [[fr:​alife-intro|une introduction très rapide à la vie artificielle]]
 +  * [[fr:​pn-biomodelling|réseaux de Petri pour la biomodélisation]]
 +  * [[fr:​cytoscape_intro|introduction à Cytoscape]]
 +  * [[fr:​togitornottogit|To Git or Not to Git]]
 +  * [[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|bases de l'​analyse syntaxique]]
  
-==== Séminaires ====+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}},​ à part si le contraire est indiqué sur la page du cours.
  
-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}}.+==== Séminaires ==== 
 + 
 +Voici une courte liste de séminaires que j'ai donnés et qui m'ont bien plu (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]}}   * Theory of Computer Science: Why All That Formal Stuff? {{:​cs-theory.pdf|[diapositives]}}
Ligne 46: Ligne 64:
   * Object-oriented Programming for Biomodelling {{:​biovanov.pdf|[diapositives]}}   * Object-oriented Programming for Biomodelling {{:​biovanov.pdf|[diapositives]}}
 ==== Contact ===== ==== Contact =====
- 
-Je suis actuellement ici : 
- 
-**Sergiu Ivanov** \\ 
-Bureau: B57 \\ 
-Laboratoire TIMC-IMAG \\ 
-5 Avenue du Grand Sablon \\ 
-38700 La Tronche, France 
- 
-Je serai bientôt là : 
  
 **Sergiu Ivanov**\\ **Sergiu Ivanov**\\
-IBISC - IBGBI – 2ème étage\\+Bureau: 319 \\ 
 +IBISC - IBGBI – 3ème étage\\
 23, boulevard de France\\ 23, boulevard de France\\
 91034 Évry, France 91034 Évry, France
  
fr/start.1496876155.txt.gz · Dernière modification: 2017/06/08 00:55 par sivanov