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
Actualités
Membres
Recherche
Séminaires
Enseignement
Contact
Pages privées
English
Français
Contact
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