Teaching

This page is out of date since I started my post-doc position at TU Wien.


I was a teaching assistant for the lab sessions of some software engineering courses at the University of Rennes 1 (ISTIC) and at the ESIR engineering school.

ISTIC

  • 2012-2015: Software verification and validation (V&V)
  • 2012-2014: Object oriented analysis and design (ACO)
  • 2013-2014: Advanced software architecture (AOC)
  • 2013-2014: Software formal analysis and design (ACF)

ESIR

  • 2012-2015: Software verification and validation (V&V)
  • 2012-2014: Software engineering (GL)
  • 2014-2015: Tools to support development in JAVA (JXW)
  • 2014-2015: Software architecture (AL)