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
News
People
Research
Seminars
Teaching
Contact
Private Pages
English
Français
Contact
Address
LSV
,
CNRS
&
ENS
Paris-Saclay
61, avenue du Président
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