Génie logiciel et Sécurité

S3

• Génie logiciel

• Langage objet avancé

• Langage  formel et vérification du logiciel

• Programmation fonctionnelle avancée

• Assembleur et compilation  OU Recherche opérationnelle

S4

• Génie logiciel

• Sécurité des réseaux et des protocoles 

• Méthodes formelles pour
  le développement de logiciels sûrs

• Programmation concurrente et vérification

• Intelligence artificielle

• Compléments de recherche opérationnelle OU Architecture matérielle

• Blockchain OU conception des  systèmes d’informations

S5

• Green IT & IT for green

• Informatique quantique et recherche opérationnelle

• Programmation raisonnée + Sécurité avancée OU Optimisation 1 + Optimisation 2

Sous-parcours Systèmes sûrs :

• S3 : Assembleur et compilation

• S4 : Architecture matérielle

• S5 : Programmation raisonnée avancée et Sécurité avancée

Sous-parcours Aspects informatiques de la recherche opérationnelle :

• S3 : Recherche opérationnelle

• S4 : Compléments de recherche opérationnelle

• S5 : Optimisation 1 + Optimisation 2 

Cursus et diplômes

Bi-cursus

Diplômes de M2 co-opérés avec l'Université Paris Saclay :

• Master CILS Conception, Intelligence des Logiciels et Systèmes (site d’Évry)

• Master FIIL Fondements de l’informatique et Ingénierie du Logiciel (site d’Orsay)

Diplômes de M2 en partenariat :

• Master SECRETS Sécurité des contenus, des réseaux, des télécommunications et des systèmes (site de Versailles Saint-Quentin)

D’autres parcours ou diplômes sont possibles dans des universités à l’étranger.