| Matière | Responsable 2021-2022 | ECTS | semestre |
|---|---|---|---|
| Langages à objet avancés | Yan Jurski | 6 | 1 |
| Automates Avancés et Applications | Roberto Mantaci & Daniela Petrisan & Sylvain Schmitz | 6 | 1 |
| Protocoles réseaux | Juliusz Chroboczek | 6 | 1 |
| Circuits et Architecture | Adrien Guatto | 6 | 1 |
| Introduction à l'Intelligence Artificielle et la Théorie de Jeux | Ahmed Bouajjani | 6 | 1 |
| Programmation de Composants Mobiles | Eugene Asarin | 6 | 1 |
| Programmation Logique et par Contraintes | Peter Habermehl & Antonio Bucciarelli | 6 | 1 |
| Compilation | Adrien Guatto | 6 | 1 |
| Théorie et Pratique de la Concurrence | Ahmed Bouajjani | 6 | 1 |
| Algorithmique | François Laroussinie | 6 | 1 |
| Calculabilité et complexité | Hugo Férée & Valia Mitsou | 6 | 1 |
| Algorithmique avancée et complexité | Roberto Amadio & Fabien de Montgolfier | 6 | 2 |
| Génie logiciel avancé | Mohammed Foughali | 6 | 2 |
| Compilation optimisante | fermé en 2022-23 | 3 | 2 |
| Droits de l'informatique | Gaétan Dufoulon & Alexandre Fievée | 3 | 2 |
| Interfaces Graphiques | Vincent Padovani | 3 | 2 |
| Format de documents et XML | Matthieu Picantin | 3 | 2 |
| Infographie (fermé en 2022-2023) | 6 | 2 | |
| Initiation à la recherche (séminaire) | Delia Kesner | 3 | 2 |
| Introduction aux logiciels libres | Théo Zimmermann | 3 | 2 |
| Technologie big data | Amélie Gheerbrant | 3 | 2 |
| Outils formels pour la science de données | Noé Cuneo | 6 | 2 |
| Preuves assistées par ordinateur | Hugo Herbelin | 6 | 2 |
| Programmation fonctionnelle avancée | Pierre Letouzey | 6 | 2 |
| Sémantique de langages de programmation | Adrien Guatto | 6 | 2 |
| Bases de données avancées | Amélie Gheerbrant | 6 | 2 |
| Programmation système avancée | Wieslaw Zielonka | 6 | 2 |
| UE libre | 3 | 2 | |
| Travaux de recherche encadrés | 6 | 2 | |
| Anglais de spécialité | Vincent Regis | 3 | 2 |
| Projet long | Giovanni Bernardie & Emmanuel Bigino & Aldric Dagorre | 6 | 6 |