Jean-François Raskin
Original record- Institution
- Facultes Universitaires Notre-Dame de la Paix, Namur, Belgium
- Year
- 1999
- Country
- Belgium
- MGP identifier
- 146076
Dissertation: Logics, Automata and Classical Theories for Deciding Real Time
Mathematics Subject Classification: 68—Computer science
Advisor 1
- Pierre-Yves SchobbensInstitution not recorded
Students 13
| Name | Institution | Year | Students |
|---|---|---|---|
| Aaron Bohy | Université de Mons | 2014 | 0 |
| Léonard Brice | Université Libre de Bruxelles | 2025 | 0 |
| Debraj Chakraborty | Université Libre de Bruxelles | 2022 | 0 |
| Laurent Doyen | Université Libre de Bruxelles | 2006 | 1 |
| Marc Ducobu | Université de Mons | 2013 | 0 |
| Gilles Geeraerts | Université Libre de Bruxelles | 2007 | 2 |
| Aline Goeminne | Université Libre de Bruxelles and Université de Mons | 2021 | 0 |
| Quentin Hautem | Université de Mons | 2018 | 0 |
| Steve Kremer | Université Libre de Bruxelles | 2003 | 3 |
| Noémie Meunier | Université de Mons | 2016 | 0 |
| Guillermo Alberto Perez | Université Libre de Bruxelles | 2016 | 3 |
| Mickael Randour | Université de Mons | 2014 | 2 |
| Clément Tamines | Université de Mons | 2022 | 0 |