User Tools

Site Tools


Welcome to my home page!


I am currently doing a postdoc entitled “Biomechanical modelling of cytoskeleton self-organization during blood platelet activation” under the supervision of Nicolas GLADE. The postdoc is part of the research of the team DyCTiM of the laboratory TIMC-IMAG of the Faculty of Medicine of Grenoble.

I defended my thesis entitled “On the Power and Universality of Biologically-inspired Models of Computation” on June 23, 2015. The thesis can be found here. The presentation slides can be downloaded here.

My thesis was supervised by Sergey Verlan.

I can be reached at sergiu dot ivanov (at)

This is my CV.


The research topics I have already worked on can be described by the following keywords.

natural computing   formal languages   universality   computational completeness   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   model algebra   category theory   functional programming   cellular automata   chaos theory


The list of my publications is available here.

The following ones are quite representative of my previous research work.

  • 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


My main programming languages are C++ and Haskell. I am pretty knowledgeable about Python and Java. I participated in two editions of Google Summer of Code. Here is my GitHub profile.


In the period December 4–December 19, 2016, I was invited to give the course Haskell for Life at Pentalog Chișinău and at the Faculty of Computer Science of the Technical University of Moldova.

In school year 2015–2016 I taught a course on operating systems and networks, as well as the part of the course on formal languages dealing with parsing. Moreover, I was invited to teach the short course Haskell for Life at the Turku Center for Computer Science, Finland.

During my PhD studies (years 2012–2015), I supervised exercise sessions and practical assignments in the various undergraduate subjects (in French).


Here is a short list of some of my own seminar subjects I liked most, with slides.

These materials are distributed under the Creative Commons Attribution Alone licence

  • Theory of Computer Science: Why All That Formal Stuff? [slides]
  • Universality and Computational Completeness of Controlled Leftist Insertion-Deletion Systems [slides]
  • Object-oriented Programming for Biomodelling [slides]

Full contact information

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

en/start.txt · Last modified: 2017/03/05 22:14 by sivanov