Mickael Ferreira
01 57 27 68 96
Sophie Germain - Bur. 3004
En télétravail les mardis et vendredis
(permanences Zoom : 10h30-12h00 ; 14h00-15h30)
(code: 141280)
Sylvia Crochet
01 57 27 68 98
Sophie Germain - Bur. 3002
En télétravail les mardis et vendredis. Ne travaille pas les mercredis
(permanences Zoom : 10h00-11h30 ; 14h30-16h00)
(code: 242581)
Ceci est une ancienne révision du document !
Chacun des cours vaut 3 ECTS. Vous devez valider sur toute la durée de l'année :
La première période de cours dure 11 semaines et est suivie d'une semaine d'examen. Elle commence fin septembre ou début octobre, et se termine avant les vacances de Noël.
| Matière | Statut | Responsable 21/22 |
|---|---|---|
| Anglais de Spécialité | O | Vincent Regis |
| Architecture des Systèmes de Bases de Données | S | Emmanuel Fuchs |
| Fouille de données et aide à la décision | S | Fabien Viger |
| Informatique embarquée | S | Pierre-Yves Piriou |
| Ingénierie des protocoles | S | Stephane Maag |
| Modélisation et Spécification | S | Arnaud Sangnier et Francois Laroussinie |
| Programmation Synchrone | S | Adrien Guatto |
| Protocoles des services Internet | S | Juliusz Chroboczek |
| Bases de données spécialisées | Cristina Sirangelo , Giovanni Bernardi et Amélie Gheerbrant | |
| Programmation Objets : Concepts Avancés | Jean-Baptiste Yunès | |
| Méthodes formelles de vérification | Ahmed Bouajjani |
La deuxième période dure 11 semaines et est suivie d’une semaine d’examen. Elle commence début janvier et se termine fin mars.
| Matière | statut | Responsable 23/24 | |
|---|---|---|---|
| Administration système et réseaux | S | Pierre-Evariste Dagand | |
| Algorithmique répartie | S | Hugues Fauconnier | |
| Architecture des Systèmes d'Information | S | Emmanuel Fuchs | |
| Grands réseaux d'interaction | S | Fabien de Montgolfier | |
| |Interfaces et Outils de MacOS-X | S | Jean-Baptiste Yunès | |
| Méthodes algorithmiques pour l'accès à l'information numérique | S | Sylvain Perifel | |
| Mobilité | S | Matej Stehlik | |
| Programmation répartie | S | Carole Delporte | |
| Systèmes avancés | S | Jean-Baptiste Yunès | |
| Méthodes formelles approche probabiliste | [https://www.irif.fr/~francoisl/ | Francois Laroussinie] | |
| Optimisation | Fabien Viger | ||
| Programmation Comparée | Hugo Férée, Adrien Guatto, Pierre Letouzey | ||
| Programmation Logique et Par Contraintes | Ralf Treinen | ||
| Transformation de programmes | Pierre Letouzey | ||
| Analyse statique | Pierre-Evariste Dagand, Ghilles Ziat | ||
| Introduction à l'apprentissage profond | Michele Pagani |
Stage en entreprise, d'une durée de 4 à 6 mois, entre le 30 mars et le 30 septembre.
