REWERSE - reasoning on the web

Sylvain Soliman

Member of REWERSE participant

Paris

Involvement in REWERSE packages

A2

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

http://contraintes.inria.fr/~soliman/index_e.html

go to top of page

Imprint      Privacy Disclaimer