Université Libre de Bruxelles

The Université Libre de Bruxelles (ULB) is a Belgian University. It is multicultural institution which has eight faculties and a range of schools and institutes and is, at the same time, a comprehensive university providing academic tuition in all disciplines and study cycles. With its three Nobel Prize winners, a Fields medal, three Wolf Prize for physics, two Marie Curie Prizes and 29% of the Francqui prizes awarded, the University is also a major research centre which is recognised by the academic community the world over.

The computer science department of the Science Faculty at ULB was formally founded in 1992, after having been for several years a service of the department of mathematics. Since 1999, the department hosts a group working on formal methods and verification, which has today three permanent members.

ULB will lead and have its main activities in WP2. ULB will also contribute to WP1, where it will work on models for networks of systems, and to WP4 and WP5.

Key staff members

Dr. Gilles Geeraerts (PhD 2007) is an assistant professor at the computer science department of the science faculty since October 2008. His main research interest focus on formal methods for computer aided verification and controller synthesis, with a focus on infinite state and real-time models. He teaches embedded-system design at ULB.

Prof. Thierry Massart (PhD 1992) is a professor at the computer-science department of the science faculty. He is the co-head of the formal methods and verification group. His research focuses on computer-aided verification and synthesis methods for decentralised control. He teaches formal methods and verification at ULB.

Prof. Jean-François Raskin (PhD 1999) is a professor at the computer science department of the science faculty. He is the co-head of the formal methods and verification group. His research spans many foundational domains of formal methods, from computer-aided verification to synthesis. Jean-François Raskin has published more than 80 papers on the topic (H-index 26 on Google Scholar). Since January 2012, he is the recipient of an ERC starting grant for the inVEST project: ‘Foundations for a Shift from Verification to Synthesis’. He teaches formal methods and verification at ULB.

Emmanuel Filiot (PhD 2008, INRIA) is an FNRS researcher at the computer science department since September 2013. His main research interests cover the theoretical foundations of data-centric systems and the synthesis of reactive systems. He teaches foundations of computer-science at ULB.

Benjamin Monmege (PhD 2013, ENS Cachan) is a post-doc researcher in the verification team since September 2013. During his PhD, he worked on specification and verification of qualitative properties with expressions, automata and logics. His main research topics contain quantitative aspects of formal languages and automata theory, game theory, and machine learning. He is now involved in the investigation of various classes of timed and untimed quantitative games, and in the application of game theoretical techniques to real case studies, like smart houses or BitTorrent protocols.