Sylvain Soliman
Member of REWERSE participant
Involvement in REWERSE packages
Former and current employments
Current: INRIA Rocquencourt, "CONTRAINTES" group
Previous: D.G.A. (more or less French DARPA)
Current professional interests
Constraint Programming
Bioinformatics (formal modeling of metabolic and transduction
pathways)
Model Checking
Linear Logic
Former professional interests
Natural Language Processing
