Matière | Responsable 2020-2021 | ECTS | semestre |
---|---|---|---|
Langages à objet avancés | Jean-Baptiste Yunès | 6 | 1 |
Automates Avancés et Applications | Arnaud Sangnier & Valérie Berthé | 6 | 1 |
Protocoles réseaux | Juliusz Chroboczek | 6 | 1 |
Circuits et Architecture | Olivier Carton | 6 | 1 |
Interfaces Graphiques | Olivier Carton | 6 | 1 |
Introduction à l'Intelligence Artificielle et la Théorie de Jeux | Ahmed Bouajjani | 6 | 1 |
Programmation de Composants Mobiles | Wieslaw Zielonka | 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 | Carole Delporte & Hugues Fauconnier & François Laroussinie | 6 | 1 |
Algorithmique | Sophie Laplante | 6 | 1 |
Calculabilité et complexité | Hugo Férée & Sylvain Perifel | 6 | 1 |
Algorithmique avancée et complexité | Vlady Ravelomanana | 6 | 2 |
Génie logiciel avancé | Stefano Zacchiroli | 6 | 2 |
Compilation optimisante | fermé en 2020-21 | 3 | 2 |
Droits de l’informatique | Michel Roux | 3 | 2 |
Format de documents et XML | Olivier Carton | 3 | 2 |
Infographie (non ouvert en 2019-2020) | 6 | 2 | |
Initiation à la recherche (séminaire) | Delia Kesner | 3 | 2 |
Introduction aux logiciels libres | Stefano Zacchiroli | 3 | 2 |
Technologie big data | 3 | 2 | |
Outils formels pour la science de données | Francis Comets | 6 | 2 |
Preuves assistées par ordinateur | Hugo Herbelin | 6 | 2 |
Programmation fonctionnelle avancée | Ralf Treinen | 6 | 2 |
Sémantique de langages de programmation | Delia Kesner | 6 | 2 |
Bases de données avancées | Cristina Sirangelo | 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é | Precious Brown | 3 | 2 |
Projet long | Charles Fougeron & Giovanni Bernardi & Hugo Férée | 6 | 6 |