Études

Université de Sherbrooke
Faculté de Sciences – Département d’informatique
Groupe de recherche en ingénierie du logiciel

Actuellement candidat au M.Sc. d’informatique de l’Université de Sherbrooke, je prends part au projet APIS (production automatisée de systèmes d’information en français).

Mon travail de maîtrise consistait en la génération automatique de messages d’erreurs pertinents à partir de spécifications formelles EB3. Un article a été proposé à la conférence iFM 2009.

En doctorat, mon sujet de recherche consiste à définir un processus de raffinement rigoureux intégrant des aspects sécurité dans les systèmes d’information. Plus de détails seront disponibles prochainement.