Mickael Randour

Chercheur Post-doctorant, projet CASSTING

Je suis désormais chercheur post-doctorant au sein du groupe Méthodes Formelles et Vérification √† l'Université Libre de Bruxelles (ULB), Belgique. Consultez ma nouvelle page web.

D'octobre 2014 à septembre 2015, j'étais chercheur post-doctorant au sein du groupe VASCO au LSV, CNRS & ENS Cachan et membre du projet CASSTING. Je travaillais avec P. Bouyer-Decitre et N. Markey.

À propos du LSV

Contact

Mickael Randour
Adresse
LSV, CNRS & ENS Paris-Saclay
61, avenue du Prťsident Wilson
94235 CACHAN Cedex, France
Bureau
RH-B-117
Tél.
+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