Welcome

Hello and welcome on my personal homepage.

I am PhD Student since September 2007 and work as a teaching assistant. I graduated from the Louvain School of Engineering at the Université catholique de Louvain with a Master of Computer Science Engineering in June 2007. I wrote a master's thesis on viral marketing and community detection techniques. My PhD thesis is on applying formal method techniques to the analysis of human-computer interaction. My thesis is supervised by Pr. Charles Pecheur and we are working together in the Louvain Verification Lab.

I am also interested in pedagogy and in teaching computer science. I am currently following an advanced master in pedagogy in higher education. My master thesis is about the impact of the establishment of a teaching methodology to help students from first bachelor in computer science to succeed. Moreover, I am one of the founder and organiser of the Belgian Olympiad in Informatics, a national contest about programming, algorithmic and logic.