L'antre de Sylvain Soliman

Coordonnées

Photo issue du trombinoscope Inria
Inria - Équipe Contraintes - Bureau 809
Domaine de Voluceau
Rocquencourt - BP 105

78153Le Chesnay Cedex - France
E-mail:
Clé publique GnuPG: 0x98CB90AE
Téléphone: +33 1 39 63 57 61
Fax: +33 1 39 63 54 69
Add to Address Book [valid hCard logo]

Activités de recherche

Upcomming CFPs of interest
2011-11-30CFP Innovations'12
2011-12-02CFP RESoLVE'12
2011-12-05CFP INPAR'12
2011-12-07CFP IMECS'12
2011-12-08CFP FLOPS'12
2011-12-16CFP ECOOP'12
2011-12-16CFP QAPL'12
2011-12-17CFP MDA'12
2012-01-08CFP MPC'12
2012-01-08CFP PAPP'12
2012-01-13CFP ISMB'12
2012-01-14CFP CIBCB'12
2012-01-19CFP ENERGYCON'12
2012-01-21CFP SIGIR'12
2012-01-31CFP Trans. on MDA'12
2012-02-01CFP ISMM'12
2012-02-02CFP ISSTA'12
2012-02-09CFP LCTES'12
2012-02-10CFP CPM'12
2012-02-27CFP NMR'12
2012-02-28CFP HardBio-VLSI'12
2012-03-01CFP PLAS'12
2012-03-15CFP ECCB'12
2012-03-15CFP ESA'12
2012-03-18CFP BSB'12
2012-03-31CFP AfricaHI'12
2012-03-31CFP AfricaMS'12
2012-03-31CFP AfricaPES'12
2012-03-31CFP AfricaWRM'12
2012-04-12CFP DMLS'12
2012-04-22CFP GPCE'12
2012-04-30CFP ISCLS'13
2012-04-30CFP WABI'12
2012-07-11CFP ICDE'12
2012-09-14CFP Telehealth'12

Depuis mon arrivée à Inria Paris-Rocquencourt, je travaille principalement sur les projets suivants (vous pouvez aller directement à ma liste de publications) :

Depuis début 2004 je suis aussi « responsable permanent » de l'équipe-projet CONTRAINTES, ce qui signifie que je seconde le responsable scientifique pour la plupart des tâches administratives. Je suis président du Comité de Suivi Doctoral du Centre de Recherche de Paris-Rocquencourt, et à ce titre membre du Bureau du Comité des Projets. Enfin, j'ai été nommé CR1 fin 2005.

Du 1er septembre 1996 au 31 août 2003 j'étais Ingénieur de l'Armement (option recherche); en service détaché au sein du projet CONTRAINTES d'Inria, de septembre 2002 à ma titularisation en tant que chargé de recherche (CR2), le 1er septembre 2003.

Ma thèse, réalisée d'abord au Laboratoire d'Informatique de l'École Normale Supérieure puis à Inria Rocquencourt et soutenue le 20 avril 2001, avait pour thème : Programmation Concurrente par Contraintes et Logique Linéaire. Commencée en octobre 1997, c'était en quelque sorte une suite de mon stage de DEA, puisque je continuais à m'intéresser au paradigme de programmation des langages (Linéaires) Concurrents avec Contraintes (LCC). J'y étudiais les liens entre LCC et Logique Linéaire, les techniques de preuves propres à ce langage, ses problèmes d'équilibre entre expressivité et sémantique, etc.

De février 2001 à septembre 2002, j'ai travaillé au Centre Technique d'Arcueil, un laboratoire de la DGA où j'étais chargé d'études en traitement du langage naturel. J'y assumais aussi le rôle de Correspondant en Sécurité des Systèmes d'Information de mon département, ainsi que celui de Chef de Projet pour la mise en place d'un réseau Haut Débit pour l'Informatique Scientifique (HADES).

Enseignement

J'enseigne/ai enseigné dans les cadres suivants:

Voir aussi la page du projet de programmation [en anglais] pour le cours du MPRI.

Je propose aussi des sujets de stage sur la page des stages du projet CONTRAINTES.

Autre contenu (Prolog et Cie)

J'utilise beaucoup le langage Prolog dans mon travail, et en particulier GNU Prolog-RH. J'ai donc été amené à développer quelques outils autour pour en faciliter l'utilisation :

Je suis bien sur preneur de toute remarque, question ou commentaire.

Voila ce que vous avez aussi une chance de pouvoir trouver ici:

Si vous cherchez la documentation du projet, mise en place par votre serviteur, elle se trouve dans les pages internes du projet

Rechercher dans les pages de l'EPI Contraintes : logo DuckDuckGo