Editer votre profil

Monnier, Stefan

Professeur agrégé

Contact :

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

Champs d'expertise

Projets en cours

  • Je m'intéresse à pousser les limites des langages typés de manière à pouvoir les utiliser dans des contextes où ils sont actuellement considérés inapplicables. Par exemple des systèmes de types avancés qui permettent d'écrire de manière sécuritaire du code de bas niveau tel qu'un gestionnaire automatique de mémoire. De manière plus générale, je m'intéresse aux systèmes de types où le programmeur peut utiliser des annotations de types pour expliquer pourquoi le code est correct ou sûr.

Cours donnés au département ce trimestre

Thèses et mémoires dirigés au département et disponibles dans Papyrus