Home Research Teaching Contact

Teaching activities of Martin Monperrus

Current activities

Master's thesis supervision and examination

Automated software testing & DevOps (KTH Royal Institute of Technology, Course Responsible), (KTH course entry)

PhD Courses

(2021) WASP Graduate Course on Software Engineering (Taught with Benoit Baudry and Christoph Reichenbach)
(2019) WASP Graduate Course on Software Engineering (Taught with Benoit Baudry and Christoph Reichenbach)
(2016) Introduction to Empirical Software Engineering (French Summer School on Software Engineering and Programming Language – EJCP, France, Guest Lecturer)
(2015) Introduction to Empirical Software Engineering (French Summer School on Software Engineering and Programming Language – EJCP, France, Guest Lecturer)
(2015) Automated Software Repair (Escuela de Ciencias Informáticas, University of Buenos Aires, Argentina, Guest Lecturer)

Master's Courses

(2022) Automated software testing & DevOps (KTH Royal Institute of Technology, Course Responsible), (KTH course entry)
(2021) Automated software testing & DevOps (KTH Royal Institute of Technology, Course Responsible), (KTH course entry)
(2020) Automated software testing & DevOps (KTH Royal Institute of Technology, Course Responsible), (KTH course entry)
(2019) Automated software testing & DevOps (KTH Royal Institute of Technology, Course Responsible), (KTH course entry)
(2018) Software Engineering Fundamentals (KTH Royal Institute of Technology, Course Co-Responsible)
(2016) Automated Software Engineering (University of Lille 1, France, Course Responsible)
(2015) Automated Software Engineering (University of Lille 1, France, Course Responsible)
(2015) Introduction to Distributed Systems (University of Lille 1, France)
(2014) Automated Software Engineering (University of Lille 1, France, Course Responsible)
(2014) Introduction to Distributed Systems (University of Lille 1, France)
(2013) Automated Software Engineering (University of Lille 1, France, Course Responsible)
(2013) Introduction to Distributed Systems (University of Lille 1, France)
(2012) Automated Software Engineering (University of Lille 1, France, Course Responsible)
(2011) Automated Software Engineering (University of Lille 1, France, Course Responsible)
(2010) Automated Software Engineering (Darmstadt University of Technology, Germany, Course Responsible)
(2010) Introduction to Model-driven Development (Darmstadt University of Technology, Germany)
(2009) Introduction to Model-driven Development (Darmstadt University of Technology, Germany)
(2008) Modeling with UML (ENSIETA Brest, France)
(2007) Operations Research (ENSIETA Brest, France)
(2007) Modeling with UML (ENSIETA Brest, France)
(2006) Operations Research (ENSIETA Brest, France)

Past Undergraduate Courses

(2014) Object-Oriented Software Design (University of Lille 1, France)
(2013) Object-Oriented Software Design (University of Lille 1, France)
(2012) Object-Oriented Software Design (University of Lille 1, France)
(2012) Introduction to Programming (University of Lille 1, France)
(2011) Object-Oriented Software Design (University of Lille 1, France)
(2011) Introduction to Programming (University of Lille 1, France)
(2011) Introduction to Programming (Darmstadt University of Technology, Germany)
(2009) Introduction to Software Engineering (Darmstadt University of Technology, Germany)
(2008) Introduction to Operating Systems (ENSIETA Brest, France, Course Responsible)

Misc Teaching Resources

Introduction to Empirical Software Engineering

Introduction to automatic software repair

Lecture slides on system verification with Alloy

Alloy: A Quick Reference

Exercise: Dining philospohers in Alloy

Exercise: Linked Lists in Alloy,

Exercise: Source Code Transformation in Alloy

Lecture slides on component-based software engineering with Fractal

Lecture slides on automated dependency injection with Guice

Lecture slides on source code analysis and transformation

Initprog en OCaml par l'exemple Initprog en Python par l'exemple