Génie logiciel et Sécurité

S3

• Projet informatique et méthode Agile

• Compléments de programmation fonctionnelle

• Langages et systèmes formels / validation et vérification de logiciel

• Assembleur et compilation

• Génie logiciel

• Sécurité Réseaux et middleware

S4

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

• Systèmes d’exploitation 

• Programmation à base de Thread Architecture matérielle

• Algorithmes semi-numériques

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

• Modèles de calcul

• Sécurité des systèmes d’information

S5

• Programmation raisonnée

• Web sémantique et IA

• Sécurité avancée

• Recherche d’information et IA (optionnel) 

• Web sémantique et IA (optionnel) 

• Optimisation (optionnel)

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.