Current
- PROG1: Introduction to Programming in Java (undergraduate, 1st year)
- Njava: Upgrading course on Programming in Java (undergraduate, 3rd year)
- ACE: Introduction to Algorithmics and Complexity (undergraduate, 1st year)
- PRGC: Trustworthy Programming. Deductive Verification in Why3. (undergrad., 3rd year)
- COMPL: Introduction to Compilation. (undergrad., 3rd year)
- PRO2: Project - Functional Programming in Scala. (undergrad., 1st year)
Past
- PRGC: Trustworthy Programming (deductive verif. in Why3) (undergrad., 3rd year). 2017-2020.
- Si2-FIP: Functional and Immutable Programming (undergrad., 1st year). 2017-2020.
- SOS: Software Security (master, 2nd year). 2017, 2018, 2019.
- APF: Introduction to Functional Programming (undergraduate, 1st year). 2009-2016.
- PAS/SDL: Software Analysis and Security (master, 2nd year). 2013, 2014, 2015, 2016.
- GEN: Software Engineering (undergraduate, 2nd year). 2013-2016.
- SEM: Semantics (master, 1st year). 2013.
- LC: Logic and Computability (undergraduate, 3rd year). 2010, 2011.
- PROG2: Object-oriented Programming (undergraduate, 3rd year). 2011.
- GL: Software Engineering (undergraduate, 3rd year). 2011.
- ALGO2: Algorithmics (undergraduate, 3rd year). 2009, 2010.
- C2i: Certificat Informatique Internet (undergraduate, 1st year) 2008.