Scholar
Jean-François Raskin
Google Scholar ID: KV9-Sm4AAAAJ
Université Libre de Bruxelles, U.L.B.
Citations & Impact
Citations
2,626
H-index
26
i10-index
85
Publications
20
Co-authors
43
list available
Contact
No contact links provided.
Publications
Resume (English only)
Academic Achievements
- ERC Starting grant (consolidator phase) 2011; IBM Faculty award 2014; Professeur Francqui de recherche 2015-2018; ACM-SigSoft Most Influential Paper Award SPLC 2020; CONCUR’21 best paper award; Involved in multiple significant projects such as Centre Fédéré en Vérification (FNRS), GASSICS (ESF), Quasimodo (FP7), etc.; Served as program committee chair or member for various international conferences like FORMATS07, TIME09, ATVA14, etc.; Associated editor for journals including TCS, LMCS, TheoretiCS.
Research Experience
- From October 1995 to September 1999, was a junior research associate of the Belgian National Fund for Scientific Research (FNRS); Since October 1999, has been a professor at Université Libre de Bruxelles (ULB), received tenure in October 2002, and has been a full professor since 2009.
Education
- Received a Master's degree from the University of Namur (Belgium) in 1995; Obtained a PhD from the University of Namur (Belgium) in 1999; Advisor information not provided.
Background
- Research interests: Formal Methods and Verification; Professional field: Computer Science; Brief introduction: Has extensive research in formal methods and verification, particularly in game theory and formal verification.
Miscellany
- Personal interests, hobbies, and other information not provided.
