Mickael Randour

Post-doctoral Researcher, CASSTING project

I am now a post-doctoral researcher in the Formal Methods and Verification group at the Université Libre de Bruxelles (ULB), Belgium. See my new webpage.

From October 2014 to September 2015, I was a post-doctoral researcher in the VASCO group at the LSV, CNRS & ENS Cachan and a member of the CASSTING project. I worked with P. Bouyer-Decitre and N. Markey.

About LSV

Contact

Mickael Randour
Address
LSV, CNRS & ENS de Cachan
61, avenue du Prsident Wilson
94235 CACHAN Cedex, France
Office
RH-B-117
Phone
+33 (0)1 47 40 77 81
Fax
+33 (0)1 47 40 75 21
Secr.
+33 (0)1 47 40 75 20
E-Mail
mickael.randour@lsv.ens-cachan.fr