This is an old revision of the document!
~~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) ''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. ''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:pn-biomodelling|Petri nets for biomodelling]], [[en:cytoscape_intro|introduction to Cytoscape]], [[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
