Current (reduced teaching duty for 2021-22, 2022-23)
-
INF1/CIS1: Introduction to Programming in Java (undergraduate, 1st year)
-
NINF: Upgrading course on Programming in Java (undergraduate, 3rd year)
-
Si1 - ACX: Introduction to Algorithmics and Complexity (undergraduate, 1st year) more...
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.