I got my PhD in November 2013 from the Université catholique de Louvain (UCL). I worked for the Louvain Verification Lab (LVL) under the supervision of Prof. Charles Pecheur. My PhD thesis is about the study of human-machine interaction using formal methods. More precisely, by modelling systems using enriched LTS (Labelled Transition Systems), we generate abstractions of those systems, called mental models, which allows an operator to control the system in a proper way.
I am also interested in pedagogy, in particular for higher education. I completed an advanced master in that domain and my master thesis is about motivational and success rate for first bachelor students in computer science. Finally, I am also interested in the promotion of computer science and technology to secondary school pupils. I am involved in several projects concerning those two last subjects, mainly collaborating with the Computer Science and IT in Education ASBL (CSITEd) and with the International Olympiad in Informatics (IOI) community.
Mountain View, CA, USA,