{{tablelayout?rowsHeaderSource=Auto}} ^ Matière ^ Responsable 2021-2022 ^ ECTS ^ semestre ^ | Langages à objet avancés | Yan Jurski | 6 | 1 | | [[formations:masters:cours:resume_automates|Automates Avancés et Applications]] | Roberto Mantaci & Daniela Petrisan & Sylvain Schmitz | 6 | 1 | | [[http://master.math.univ-paris-diderot.fr/modules/m1info-protocoles-reseaux/|Protocoles réseaux]] | Juliusz Chroboczek | 6 | 1 | | [[https://www.irif.fr/~carton/Enseignement/Architecture/|Circuits et Architecture]] | Adrien Guatto | 6 | 1 | | [[http://master.math.univ-paris-diderot.fr/modules/m1info-theorie-jeux/|Introduction à l'Intelligence Artificielle et la Théorie de Jeux]] | Ahmed Bouajjani | 6 | 1 | | [[formations:masters:cours:resume_android|Programmation de Composants Mobiles]] | Eugene Asarin | 6 | 1 | | [[formations:masters:cours:resume_prolog|Programmation Logique et par Contraintes]] | Peter Habermehl & Antonio Bucciarelli | 6 | 1 | | [[https://www.irif.fr/~guatto/teaching/20-21/compil/syllabus-compil-20-21.pdf|Compilation]] | Adrien Guatto | 6 | 1 | | [[formations:masters:cours:resume_concurrence|Théorie et Pratique de la Concurrence]] | Ahmed Bouajjani | 6 | 1 | | [[formations:masters:cours:resume_algorithmique|Algorithmique]] | François Laroussinie | 6 | 1 | | [[formations:masters:cours:resume_calculabilite_complexite|Calculabilité et complexité]] | Hugo Férée & Valia Mitsou | 6 | 1 | | [[formations:masters:cours:resume_algorithmique_avancee_et_complexite|Algorithmique avancée et complexité]] | Roberto Amadio & Fabien de Montgolfier | 6 | 2 | | [[formations:masters:cours:resume_genie_logiciel_avance|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 | | [[https://www.irif.fr/~carton/Enseignement/InterfacesGraphiques/|Interfaces Graphiques]] | Vincent Padovani | 3 | 2 | | [[formations:masters:cours:resume_xml|Format de documents et XML]] | Matthieu Picantin | 3 | 2 | | Infographie (fermé en 2022-2023) | | 6 | 2 | | [[formations:masters:cours:resume_seminaire|Initiation à la recherche (séminaire)]] | Delia Kesner | 3 | 2 | | [[formations:masters:cours:resume_logiciels_libres|Introduction aux logiciels libres]] | Théo Zimmermann | 3 | 2 | | [[http://master.math.univ-paris-diderot.fr/modules/m1mi-big-data/|Technologie big data ]] | Amélie Gheerbrant | 3 | 2 | | [[formations:masters:cours:resume_outils_formels_sdd|Outils formels pour la science de données]] | Noé Cuneo | 6 | 2 | | [[formations:masters:cours:resume_preuves|Preuves assistées par ordinateur]] | Hugo Herbelin | 6 | 2 | | [[https://www.irif.fr/~treinen/teaching/pfav/|Programmation fonctionnelle avancée]] | Pierre Letouzey | 6 | 2 | | [[formations:masters:cours:resume_semantique|Sémantique de langages de programmation]] | Adrien Guatto | 6 | 2 | | [[http://master.math.univ-paris-diderot.fr/modules/m1info-bases-donnees/|Bases de données avancées]] | Amélie Gheerbrant | 6 | 2 | | [[formations:masters:cours:resume_programmation_systeme_avancee|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 |