[go: up one dir, main page]
More Web Proxy on the site http://driver.im/

User Tools

Site Tools


en:start

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!

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.

Previously, 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” in 2015 (presentation slides). My thesis was supervised by Sergey Verlan.

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

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

Programming

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

Teaching

Seminars

Here is a short list of some of the seminars I delivered and 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: 2018/10/04 10:05 by sivanov