| INFO0060-1 | | Vérification de systèmes parallèles et logique temporelle | | Titulaire |
 |
| INFO0061-3 | | Organisation des ordinateurs | | Titulaire |
 |
| INFO0062-1 | | Programmation orientée-objet | | Titulaire |
 |
| INFO0063-1 | | Ingénierie du logiciel orienté-objet | | Titulaire |
 |
| INFO0064-1 | | Systèmes programmés enfouis | | Titulaire |
 |
| INFO2009-1 | | Introduction à l'informatique | | Suppléant |
 |