Stéphane Le Roux

Version française

I am currently working at LIX as a postdoc researcher (from Jan 2009 to Dec 2009) in the team MeASI with

• Leo Liberti,
• Daniel Krob (complex industrial systems),
• Éric Goubault (abstract interpretation).

• Publications and formal proof scripts.
• Teaching.
• Short CV.
• Academic CV.

Email: leroux@lix.polytechnique.fr
Fax: {+33,0} 1 69 33 30 14
Phone: {+33,0} 1 69 33 40 71
Address: LIX, École Polytechnique 91128 Palaiseau Cedex - France
Access Polytechnique
Access LIX