Prof. Jean-François Raskin

jfr

Email: jraskin [at] ulb [dot] ac [dot] be
SnailMail: 
ULB - Campus de la Plaine, CP212 - 1050 Bruxelles - Belgium
Tel: +32 2 650 55 92
Fax: +32 2 650 56 09

CV  Jean-François Raskin (born April 6, 1972) received a Master (1995) and a PhD (1999) in Computer Science from the University of Namur (Belgium) for a thesis entitled "Logics, Automata, and Classical Theories for Deciding Real-time" under the supervision of Prof. Pierre-Yves Schobbens. From Oct. 1995 until Sept. 1999, he was a junior research associate of the Belgian National Fund for Scientific Research (FNRS).  In Oct. 1999, he was appointed on a tenure-track Professor position in CS at the Université Libre de Bruxelles (ULB) where he received his tenure in Oct. 02 and is full professor since 2009. At ULB, he is the leader of the research group in Computer-aided verification. He has also held visiting positions at the UC Berkeley, at the Ecole Normale Supérieure de Paris, at the Max-Planck Institute for CS in Saarbrücken, and at the Ecole Normale Supérieure de Cachan. He is a member of the IFIP WG2.2, and the treasurer of EATCS since 2016. He is an associated editor of TCS and LMCS. His research is supported by the Fondation ULB.

Awards
Some recent talks

Publications
Recent projects
PC chair, PC member, editorship

PhD Students

Post-docs