User Tools

Site Tools


en:start

Welcome to my home page!

sivanov.jpg

I am holding an associate professor (maître de conférences) position at Université Évry Val d'Essonne. I do my research in the IBISC Lab.

During the school year 2016–2017, I did a postdoc with Nicolas GLADE on biomechanical modelling of the cytoskeleton, with additional focus on unconventional computing, theoretical biology, and epistemology.

I defended my thesis entitled “On the Power and Universality of Biologically-inspired Models of Computation” on June 23, 2015 (presentation slides). My thesis was supervised by Sergey Verlan.

I can be reached at sergiu dot ivanov (at) ibisc.univ-evry.fr.

This is my 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 here.

Programming

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.

Teaching

Here is a list of courses I prepared: Haskell for Life, operating systems and networks, parsing, To Git or Not to Git. All course materials are distributed under the Creative Commons Attribution Alone licence

Seminars

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: 319
IBISC - IBGBI – 3rd floor
23, boulevard de France
91034 Évry, France

en/start.txt · Last modified: 2017/09/20 16:38 by sivanov