work-site/index.org
Sergiu Ivanov dfce16ad4a Typo.
2018-10-05 19:38:15 +02:00

6.2 KiB
Raw Blame History

Sergiu Ivanov

a picture of sergiu ivanov /scolobb/work-site/media/commit/484273d8f00e4c4b19b34dc06ed732ae436629a7/content/imgs/fr.png

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

Write to me at   sergiu $_{dot}$ ivanov (at) univ-evry.fr  .

This is my CV.


Jump to:

/scolobb/work-site/src/commit/484273d8f00e4c4b19b34dc06ed732ae436629a7/Research /scolobb/work-site/src/commit/484273d8f00e4c4b19b34dc06ed732ae436629a7/Teaching
/scolobb/work-site/src/commit/484273d8f00e4c4b19b34dc06ed732ae436629a7/Publications /scolobb/work-site/src/commit/484273d8f00e4c4b19b34dc06ed732ae436629a7/Programming
/scolobb/work-site/src/commit/484273d8f00e4c4b19b34dc06ed732ae436629a7/Past%20positions /scolobb/work-site/src/commit/484273d8f00e4c4b19b34dc06ed732ae436629a7/Full%20contact%20information

Research

I am currently working on

precision medicine   complex systems   theoretical biology

I have already worked on:

bio-inspired computing   formal languages   rewriting   complexity   biomodelling

I have worked with these (and similar) formal models:

Petri nets   membrane (P) systems   register machines   reaction systems

I am interested in:

category theory   functional programming   traffic dynamics

Publications

A comprehensive list of my publications is available on my DBLP page. A list of my publications with some freely downloadable full-texts is available on HAL (a French scientific archive).

I sometimes post informal scientific articles on The Open Science Door.

Here is my personal blog.

Teaching

Here is a list of courses I prepared:

/scolobb/work-site/media/commit/484273d8f00e4c4b19b34dc06ed732ae436629a7/content/imgs/ccby.png

All course materials are distributed under the Creative Commons Attribution Alone licence, unless specified otherwise.

Seminars

Here is a short list of some of the seminars I delivered and liked most, with slides.

  • 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]
/scolobb/work-site/media/commit/484273d8f00e4c4b19b34dc06ed732ae436629a7/content/imgs/ccby.png

These materials are distributed under the Creative Commons Attribution Alone licence.

Programming

My main programming language is Haskell. I am pretty knowledgeable about C++, Python, and Java.

Here is my GitHub profile.

Past positions

Full contact information

Sergiu Ivanov
Room: 319
IBISC - IBGBI 3rd floor
23, boulevard de France
91034 Évry, France