[:fr]Sylvain Soliman est chercheur permanent (CRHC) chez Inria
Saclay-Île-de-France, dans l’équipe Lifeware.

Après un diplôme d’ingénieur, en 2001 il obtient une thèse
d’informatique de l’université Paris Diderot pour ses travaux sur la
sémantique des langages de programmation et la logique linéaire,
réalisés au Laboratoire d’Informatique de l’ENS et à l’INRIA
Rocquencourt.

Après un an de « post-doc » dans une équipe de traitement du langage
naturel de la Délégation Générale pour l’Armement, il démissionne du
corps de l’Armement pour rejoindre Inria dont il passe le concours de
chargé de recherche.

Après deux ans sein de l’équipe Contraintes d’Inria Rocquencourt, à
étudier et enseigner les méthodes de Programmation par Contraintes, il
rejoint le mouvement lancé par François Fages (responsable de l’équipe)
et une de ses doctorantes, Nathalie Chabrier-Rivier, pour appliquer des
méthodes formelles à des modèles biologiques.

Depuis 2004 il est ainsi devenu l’un des développeurs principaux de la
plateforme de modélisation et d’expérimentation BIOCHAM. Dans ce cadre
de Biologie des Systèmes Computationnelle, il applique des méthodes
d’informatique théorique (model-checking, programmation par contraintes,
théorie des graphes, interprétation abstraite, etc.) à l’analyse de
réseaux de réactions biochimiques. Il a obtenu en 2016 son Habilitation
à Diriger des Recherches sur ces sujets.

Ancien président du Comité de Suivi Doctoral d’Inria (quand les Écoles
Doctorales ne s’occupaient pas du suivi) et ancien membre de la
Commission de Développement Technologique (qui attribue des postes
d’ingénieurs en CDD sur des projets de développement informatique) il
est depuis 2016 membre de la Commission Scientifique d’Inria
Saclay-Île-de-France.[:]

Bookings