L'antre de Sylvain Soliman

Coordonnées

Sylvain Soliman

Inria - Équipe Contraintes - Bureau 809
Domaine de Voluceau
Rocquencourt - BP 105
78153Le Chesnay Cedex - France

E-mail: Sylvain.Soliman@inria.fr
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 ]

Activités de recherche

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

• la conception et l'implantation du logiciel BIOCHAM, né au sein de l'ARC CPBIO at utilisé notamment dans le STREP TEMPO (Temporal Genomics for Tailored Chronotherapeutics) sur les chronothérapies des cancers et l'Era-Net C5Sys ;

• j'ai coordonné en 2006-2007 l'ARC MOCA sur les questions de modularité, compositionalité et abstraction en Biologie des Systèmes et nous continuons ces travaux dans le cadre de l'ANR CALAMAR où je suis responsable scientifique pour Inria ;

• la mise en place du STREP (projet de recherche sur un sujet spécifique) APRIL II (applications de la programmation logique inductive probabiliste), accepté par le 6ème PCRD (2002-2006) et portant en particulier sur la bio-informatique et donc ayant permis de développer les capacités d'apprentissage de BIOCHAM ;

• la conception de l'outil pour réseaux de Petri Nicotine qui se base sur un algorithme de contraintes pour la recherche d'invariants, mais propose aussi la conversion entre de nombreux formats et la recherche d'épimorphismes de sous-graphe, etc.

• une implication dans le NoE REWERSE (raisonner sur le web avec des règles et de la sémantique) accepté par le 6ème PCRD et pour nous fortement lié à LCC et BIOCHAM;

• SiLCC, une nouvelle implantation d'un noyau LCC, et au dessus de ce noyau, d'un moteur CLP complet. Ceci se réalise en s'appuyant sur les travaux d'implantation de Rémy Haemmerlé en particulier GNU Prolog-RH tout en gardant à l'esprit des considérations sémantiques ;

• une participation au projet RNTL (réseau national des technologies logicielles) MANIFICO (MetA-compilation Non-Intrusive du FIltrage par COntraintes), qui rejoint certaines de nos considérations sur LCC (règles et contraintes, CHR, etc...) ;

• j'étais aussi jusqu'à 2008 secrétaire du groupe de travail "Constraints" de l'ERCIM dont François Fages était président. Ce groupe réunit des chercheurs de nombreux pays travaillant dans le domaine de la Programmation par Contraintes.

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:

• au sein du Master Parisien de Recherche en Informatique je suis responsable du cours de Programmation par Contraintes ;

  Notes de cours (en anglais) [2011-2012], actualisées au fur et à mesure :

  • class 1 - Introduction to CLP, operational semantics, examples
  • class 2 - CLP: fixpoint semantics
  • class 3 - CLP: logical semantics, CSP: solving by simplification and domain reduction
  • class 4 - CLP: the Warren Abstract Machine, CSP: Symmetries
  • class 5 - CLP: typing; CHR; Programming project discussion
  • class 6 - CC: examples, operational and denotational semantics
  • class 7 - CC: linear logic semantics; LCC
  • class 8 - LCC: links between LCC and CHR; EMoP: modules for LCC/CC/CLP

• à l'École Polytechnique j'ai donné pendant quelques années des vacations pour encadrer les travaux dirigés de Java du cours d'informatique fondamentale de Jean-Jacques Levy.

Voir aussi la page du projet de programmation [en anglais] pour le cours du MPRI, et les notes preliminaires.

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 :

• pour mon éditeur favori, Vim j'ai développé un mode gprolog [zip] (de coloration syntaxique, et un peu plus) qui étend le mode prolog fourni en standard. Il permet aussi une meilleure détection des fichiers prolog (.pl est associé à Perl par défaut) et définit quelques raccourcis pratiques;

  Pour l'autre éditeur, voir la page de Thierry Martinez

• J'utilise Exuberant Ctags pour m'y retrouver lorsque je développe une application qui comporte de nombreux fichiers sources (typiquement en C et prolog). Là encore, j'ai du ajouter quelques lignes à mon fichier de configuration .ctags pour obtenir ce que je voulais;

• voici aussi un mode BIOCHAM [zip] minimaliste pour Vim (juste coloration et indentation) ;

• Enfin voici une tentative préliminaire de guide/conventions de programmation pour Prolog.

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

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

• Une liste de mes publications, ainsi qu'une liste de mes publications ;

• Une invitation à partager mes autres centres d'intérêt (jeu de Go, blackjack, Palm, etc...) ;

• Quelques liens qui me servent à l'occasion (logiciels, sites web, etc...).

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 :