~~TRANS~~

====== This page has moved! ======

My new home page is now at https://www.ibisc.univ-evry.fr/~sivanov/index.html .

The page you are currently browsing is unmaintained starting with 2018-10-04.

===== Welcome to my home page! =====

{{ :sivanov.png?200}}

I am holding an associate professor ([[https://en.wikipedia.org/wiki/Academic_ranks_in_France#Tenured_positions|maître de conférences]]) position at [[http://www.univ-evry.fr/fr/index.html|Université Évry Val d'Essonne]]. I do my research in the [[https://www.ibisc.univ-evry.fr/start?do=search&id=|IBISC Lab]].

Previously, I did a postdoc with [[https://sites.google.com/site/nicolasglade/|Nicolas GLADE]] on biomechanical modelling of the [[https://en.wikipedia.org/wiki/Cytoskeleton|cytoskeleton]], with additional focus on unconventional computing, theoretical biology, and epistemology.

I defended my {{:phd.pdf|thesis}} entitled //"On the Power and Universality of Biologically-inspired Models of Computation"// in 2015 ({{:phd-beam.pdf|presentation slides}}). My thesis was supervised by [[http://lacl.univ-paris12.fr/verlan/|Sergey Verlan]].

I can be reached at ''sergiu'' <sub>dot</sub> ''ivanov'' (at) ''univ-evry.fr''.

This is my {{:cv-en.pdf|CV}}.
==== Research ====
The //research topics// I have already worked on can be described by the following keywords (in no particular order).

''unconventional computing'' \ \ ''formal languages'' \ \ ''formal rewriting'' \ \ ''complexity'' \ \ ''biomodelling'' \ \ ''software for biomodelling'' \\


Here are the names of some //formal models// I have worked with (in no particular order).

''Petri nets'' \ \ ''membrane (P) systems'' \ \ ''register machines'' \ \ ''reaction systems''


The research domains on which I would like to work in the //nearest future// can be described by the following keywords (in no particular order).

''precision medicine'' \ \ ''complex systems'' \ \ ''category theory'' \ \ ''functional programming'' \ \ ''theoretical biology'' \ \ ''traffic dynamics''

==== Publications ====
The list of my publications is available [[en:publications|here]].

==== Programming ====
My main programming language is [[https://www.haskell.org/|Haskell]]. I am pretty knowledgeable about C++, Python, and Java. I participated in two editions of [[wp>Google Summer of Code]]. [[https://github.com/scolobb|Here]] is my GitHub profile.
==== Teaching ====
Here is a list of courses I prepared:

  * [[en:latex-intro|introduction to LaTeX]]
  * [[en:os_ueve|operating systems]]
  * [[en:alife-intro|a very quick introduction to artificial life]]
  * [[en:pn-biomodelling|Petri nets for biomodelling]]
  * [[en:cytoscape_intro|introduction to Cytoscape]]
  * [[en:togitornottogit|To Git or Not to Git]]
  * [[en:haskell_for_life|Haskell for Life]]
  * [[en:cours_de_systemes_et_reseaux|operating systems and networks]]
  * [[en:cours_de_theorie_des_langages|basic parsing]]

All course materials are distributed under the [[https://en.wikipedia.org/wiki/Creative_Commons_license|Creative Commons Attribution Alone licence]] {{:ccby.png?60}}, unless specified otherwise.
==== Seminars ====

Here is a short list of some of the seminars I delivered and liked most, with slides.  These materials are distributed under the [[https://en.wikipedia.org/wiki/Creative_Commons_license|Creative Commons Attribution Alone licence]] {{:ccby.png?60}}

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

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

  * Object-oriented Programming for Biomodelling {{:biovanov.pdf|[slides]}}
==== Full contact information =====
**Sergiu Ivanov**\\
Room: 319 \\
IBISC - IBGBI – 3rd floor\\
23, boulevard de France\\
91034 Évry, France