Members of Contraintes:
François Fages (INRIA senior
research scientist, team leader)
Stéphanie Aubin (INRIA assistant)
Grégory
Batt (INRIA research scientist)
Sylvain
Soliman (INRIA research scientist)
Pascal Hersen (associate, CNRS Paris Diderot)
Denis Thieffry (associate, professor ENS Ulm)
Neda Saeedloei (INRIA post-doctorate)
Szymon Stoma (INRIA post-doctorate)
François Bertaux (PhD student, AMX, with EPI Bang)
Xavier Duportet
(PhD student, INRIA)
David Fournier (PhD Student, Cifre GET)
Steven Gay (PhD student, INRIA)
Thierry Martinez
(PhD student, INRIA)
Faten Nabli (PhD student, INRIA)
Jannis Ulhendorf (PhD student, INRIA)
Raphael Martin (INRIA engineer ITI)
Past members:
Guillaume Arnaud
Nicolas
Beldiceanu (Professor, EMN Nantes)
Laurence
Calzone (Institut Curie, Paris)
Nathalie
Chabrier-Rivier
Philippe
Codognet (Professor, University of Tokyo, Japan)
Emmanuel
Coquery (Maître de Conférence, U. Lyon 1)
Sorin Craciunescu (engineer, eFront, Paris)
Elisabetta De Maria (Maîtresse de
Conférence, U. Nice)
Pierre
Deransart (retired)
Daniel Diaz (Maître de
Conférence,
U. Paris 1)
Yan Georget
(Koalog)
Rémy
Haemmerlé (UPM Madrid, Spain)
Domitille
Heitzler (Post-Doc, University of Dublin, Ireland)
Dragana
Jovanovska (Engineer, Drim, Paris)
Julien
Martin
(Engineer, Imaginatio, Paris)
Andras Kovacs (SZTAKI, Budapest)
Sriram Krishnamachari (UCSB, USA)
Ludovic Langevine (Mission Critical IT, Belgium)
Sylvain Pradalier (Research Engineer, Dassault-Systemes)
Daniel de Rauglaudre
(Aoste project)
Nadine Richard (ENST)
Aurélien
Rizk(Post Doc, ETH Zurich, Switzerland)
Jean-Claude Sogno
(retired)
Aurélie Strobbe (Engineer EDF, Paris)
Research contracts:
ANR Avenir ICEBERG (coordinator)ANR Blanc Net-WMS-2 (coordinator)
ANR Blanc BioTempo
ANR Cosinus Syne2arti (coordinator)
OSEO BioIntelligence
EU EraNet SysBio C5Sys
Initiative Action COLAGE
on synthetic biology
Initiative Action REGATE
on FSH signaling
Past contracts:
ANR CALAMAR
European 6th PCRD STREP 
(coordinator)
AgroBI INRA Project INSIGHT
INRIA Cooperative Research Initiative ARC MOCA (coordinator)
European 6th PCRD STREP 
European 6th PCRD NoE 
French RNTL MANIFICO
French RNTL OADymPPaC (coordinator)
ACI VICANNE
INRIA Cooperative Research Initiative ARC CPBIO (coordinator)
Software:
BIOCHAM is a software environment for modeling biochemical systems, making simulations, performing static analyses and specifying behaviors in temporal logic.FO-CTL is a constraint solver for full First-Order Computation Tree Logic with linear arithmetic over the reals, FO-CTL(ℝlin), in Constrained Transition Systems.
CHRat a modular version of Constraint Handling Rules with ask and tell
Rules2CP a rule-based modelling language for constraint programming
Older stuff:
TCLP is a type checker for constraint logic programming.
CLPGUI is a graphical user interface for constraint logic programming.
GNU
Prolog RH is a version of GNU
Prolog
extended with attributed
variables, coroutines and CLP(R) constraints, developed by Rémy
Haemmerlé.
of variables during search in a placement problem.
Public seminar: programme
Internal web page
and its computational model.