Since 2002 I am a permanent researcher (CR) in the Lifeware (formerly Contraintes) group of Inria Saclay-Île-de-France (formerly Paris-Rocquencourt).
My research interests focus around Computational Biology and Theoretical Computer Science. In this context I’m one of the main developers and maintainers of the BIOCHAM platform. This is where most of the techniques I develop, using Constraint Programming, Model-Checking, and other formal methods get implemented.
On top of my BIOCHAM developments, you can find below other side projects concerning Vim, Prolog, etc. I also continue to maintain Nicotine, a constraint-based software for Petri-net invariant computation and Tropical equilibration, but it should soon be completely merged into BIOCHAM.
I’ve been teaching since 2005 in the MPRI (Paris Computer Science Masters) and you can find below my latest course notes.
I’m a member of Inria Saclay’s Scientific Commission, in 2016 I was also a member of the jury for AAP Digiteo/Digicosme Ph.D. grants. When I was in Rocquencourt I was president of the Doctoral Committee for quite some time, and of the Technological Development Commission for a few years.
HDR (Accreditation to Supervise Research) in Computer Science, 2016
PhD in Computer Science, 2001
Université Paris Diderot
MSc (Engineering degree and MSc equivalence) in Computer Science, 1996
I teach/taught in the following frameworks:
Course notes will be updated along teaching:
I am also propose some internships on the dedicated page of the Lifeware team.
This page allows you to convert a system of ordinary differential equations in the .ode format of XPPAUT to a reaction model.
This page allows you to convert a CellDesigner model to a supposedly meaningful influence model.
Besides being a famous alkaloid found in tobacco, Nicotine (Nicotine Is a COnstraint-based T and p-INvariant Extractor) is a (GNU Prolog) program that computes a Petri-net’s invariants by using Constraint Programming and has grown to encompass many other utilities.
This is a set of reasonable guidelines for formatting Prolog programs, freely adapted from Caml guidelines and M. Covington’s Prolog coding guidelines. They aim at reflecting the consensus among the programmers of the Lifeware team. Nevertheless, all detailed notifications of possible errors or omissions will be noted with pleasure. To send your comments: Sylvain.Soliman@inria.fr.