Sergiu Ivanov

This page is read only. You can view the source, but not change it. Ask your administrator if you think this is wrong.
~~TRANS~~

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

{{ :sivanov.jpg?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]].

During the school year 2016--2017, 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"// on June 23, 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) ''lacl.fr''.

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

''unconventional computing'' \ \ ''formal languages'' \ \ ''universality'' \ \ ''computational completeness'' \ \ ''spring-mass modelling'' \\ ''software for biomodelling'' \ \ ''insertion-deletion systems'' \ \ ''multiset rewriting'' \ \ ''membrane (P) systems'' \ \ ''biomodelling'' \\ ''networks of evolutionary processors'' \ \ ''register machines'' \ \ ''Petri nets'' \ \ ''reaction systems''

The research domains on which I would like to work in the nearest future can be described by the following keywords.

''complex systems'' \ \ ''category theory'' \ \ ''functional programming'' \ \ ''theoretical biology'' \ \ ''type theory''

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

==== Programming ====
My main programming languages are C++ and [[https://www.haskell.org/|Haskell]]. I am pretty knowledgeable about 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:haskell_for_life|Haskell for Life]], [[en:cours_de_systemes_et_reseaux|operating systems and networks]], [[en:cours_de_theorie_des_langages|parsing]], [[en:togitornottogit|To Git or Not to Git]].
All course materials are distributed under the [[https://en.wikipedia.org/wiki/Creative_Commons_license|Creative Commons Attribution Alone licence]] {{:ccby.png?60}}
==== Seminars ====

Here is a short list of some of my own seminar subjects I 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
Sergiu Ivanov

User Tools

Site Tools

Page Tools
