Editer votre profil

Famelis, Michail

Professeur adjoint

Contact :

  • Téléphone 514-343-6111 #25835 Pav. PAVILLON ANDRE-AISENSTADT \ bur. 2343

Site Web

Famelis, Michail

Présentation

Je suis arrivé au DIRO comme professeur adjoint en janvier 2017. Je suis membre du GEODES, le groupe de recherche en génie logiciel. Je travaille à créer des techniques et des méthodes formelles tout en étant pratiques pour l'ingénierie du logiciel. Pour ce faire, je m'inspire de disciplines telles que la vérification formelle, l'ingénierie dirigée par les modèles et les méthodes empiriques. Je étudie le contexte du développement du logiciel et je crée de nouvelles techniques qui utilisent des abstractions spécifiques au domaine, soutenues par une automatisation rigoureuse.

Champs d'expertise