I am currently doing a post-doc at INRIA Rocquencourt in the CONTRAINTES team with François Fages. I did my PhD in co-supervision with Catuscia Palamidessi (in the Lix, Paris) and Cosimo Laneve (in the Universita di Bologna, Italy).
My email adress is the following (remove the brackets and replace 'dot' with '.') :
sylvain [dot] pradalier [@] gmail [dot] com
Articles submitted or under revision: