Welcome on Sylvain Pradalier Homepage

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).

Contact

My email adress is the following (remove the brackets and replace 'dot' with '.') :

sylvain [dot] pradalier [@] gmail [dot] com

Research

Articles submitted or under revision:

• Optimisation of stochastic processes as CSL constraints solving, Submitted to LICS'11.
• Synchronous vs asynchronous stochastic pi-calculi, under revision.

• A formal approach to the modeling, simulation and analysis of nano-devices.

• Modelization and Simulation of Nano Devices in the nano-kappa calculus with A.Credi, M.Garavelli, C.Laneve, S.Silvi, G.Zavattaro, TCS'08

• From biochemistry to stochastic processes with C.Laneve, G.Zavattaro, at QAPL'09
• Modelization and Simulation of Nano Devices in the nano-kappa calculus with A.Credi, M.Garavelli, C.Laneve, S.Silvi, G.Zavattaro, at CMSB'07
• Expressivness of Probabilistic Pi-calculus with Catuscia Palamidessi at QAPL'06
• Projective Brane Calculus with Vincent Danos at CMSB'04

• Where Membranes Meet Complexes with Luca Cardelli at BioConcur'05

Teaching

• If you like poetry