Sylvain Soliman's Den


Personal photograph
Inria - Lifeware team - Office 1114
Bât. A. Turing 2, 1 r Honoré d'Estienne d'Orves
Campus de l'École Polytechnique

91120  Palaiseau - France
GnuPG public key: 0x98CB90AE
Telephone: +33 1 74 85 42 43
Add to Address Book [valid hCard logo]

Research activities

Since I got to Inria Paris-Rocquencourt, I've been mostly working on the following topics (you can go directly to my publications list):

Since the beginning of 2004 I am also the "responsable permanent" of the Lifeware project-team, which basically means that I second the group-head for most administrative tasks. I am a president of Paris-Rocquencourt's Comité de Suivi Doctoral (doctoral fellowship agreement comittee), and thus member of the Bureau du Comité des projets. I've been promoted to "CR1" at the end of 2005.

From September 1st 1996 to August 31st 2003 I was working for the DGA (some kind of French DARPA), which gave me a scholarship during my studies. It allowed me to work "externally" in the CONTRAINTES team of Inria, from September 2002 to my transfer to Inria, when I was hired as junior researcher (CR2) on September 1st 2003.

My Ph.D. was started when I was at Laboratoire d'Informatique de l'Ecole Normale Superieure in Paris, continued in Inria Rocquencourt and defended on April 20th 2001 had for title: Programmation Concurrente par Contraintes et Logique Linéaire i.e. Concurrent Constraint Programming and Linear Logic. Begun in October 1997, is was a sequel of my DEA as I was still studying the Linear Concurrent Constraint (LCC) paradigm, its links with Linear Logic, its own proof techniques, its problems of balance between expressivity and semantics, etc...

From February 2001 to September 2002, I was working at Centre Technique d'Arcueil, a laboratory from DGA, where I studied Natural Language Processing. I also got the role of Information Systems Security Correspondent for my department , and was named Project Manager for the future High Throughput Network for Scientific Computing.


I teach/taught in the following frameworks:

See also the programming project for the MPRI classes and the subject of the 2013-2014 Exam .

I am also propose some internships on the dedicated page of the Lifeware team.

Prolog and more

I use Prolog a lot in my work, and especially GNU Prolog-RH. I was thus naturally led into developing some tools to help in using it:

I welcome any remark, question or comment on the above.

Here's what you might find here if you're lucky:

If you're looking for the team's documentation pages, started up by your's truly, they are in the team's internal pages

Search the pages of the team: DuckDuckGo logo