M.S. Thesis 'Optimisation de Code : Méthodes d'évaluation éparse des propriétés statiques', Université Libre de Bruxelles, Belgium (1999). I received the Solvay Awards for this thesis. For the full text send me a mail apiron@ulb.ac.be (I really enjoy knowing new people).
Actual Research My main interest is formal methods for modular model checking. I also work with Macq Electronique on an OO distributed language (dSL) for process supervision and automata control tasks (more info: dSL project ).
Collaborators Prof. R. Devillers ;
Prof. Th. Massart ;
Prof. J.-F. Raskin ;
Mr. L. Van Begin ;
Mr. E. Van Nuffel ;
Macq Electronique .
Formal Methods Links Bookmarks about compilers and formal methods.