REWERSE - reasoning on the web

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

Professional web page

go to top of page