Teaching

2016-17


2015-16
    Université d'Evry
  • Méthodes de Conception et Vérification
  • Logique de Base

2014-15
    Université d'Evry
  • Méthodes Formelles pour la Conception du Logiciel
  • Systèmes de Gestion des Bases de Données
  • Preuve Formelle Mechanisée
  • Spécifications Formelles
  • Programmation Orientée Système 2
  • Vérification
  • Logique de Base

2013-14
    Université d'Evry
  • Méthodes Formelles pour la Conception du Logiciel
  • Systèmes de Gestion des Bases de Données
  • Preuve Formelle Mechanisée
  • Spécifications Formelles
  • Algorithmiques
  • Programmation Orientée Système 1
  • Modélisation Object
  • Logique de Base

2012-13
    Université d'Evry
  • Méthodes Formelles pour la Conception du Logiciel
  • Preuve Formelle Mechanisée
  • Spécifications Formelles
  • Technologies Logicielles
  • Programmation Orientée Système 1
  • Programmation Impérative 2
  • Systèmes de Gestion des Bases de Données
  • Informatique Générale
  • Vérification

2011-12
    Imperial College London
  • Autumn term: undergraduate class in Logic
  • Spring term: MSc class in Multi-agent Systems

  • Project leader: 3rd year student project on Explicit-State Model Checking for Multi-Agent Systems

2010-11
    Imperial College London
  • Autumn term: undergraduate class in Logic
  • Spring term: MSc class in Introduction to Artificial Intelligence

2009-10
    Imperial College London
  • Autumn term: undergraduate class in Hardware
  • Spring term: MSc class in Introduction to Artificial Intelligence

  • Tutor for MSc students: Mr Pavel Gonzalez MSc thesis on Automatic Verification of Quantum Protocols with MCMAS

2007-09
    Scuola Normale Superiore, Pisa
    Teaching Assistant
  • Undergraduate classes in History of Logic

2007
    Imperial College London
  • Spring term: undergraduate class in Software Engineering, System Verification