ECTS
22 crédits
Composante
UFR Sciences et Techniques
Heures d'enseignement
- TPTravaux Pratiques87h
- CMCours Magistral102h
- TDTravaux Dirigés31h
Liste des enseignements
1 choix parmi 3
Au choix : 1 parmi 3
S2 Informatique Théorique et Application
Calcul formel (ITA)
4 créditsSémantique typage (ITA)
4 créditsThéorie des jeux (ITA)
4 créditsAlgorithmique pour la cryptographie (ITA)
4 créditsInformatique quantique I (ITA)
3 créditsTests Logiciels (ITA)
3 crédits
S2 Sécurité des Systèmes Informatiques
Calcul formel (SSI)
4 créditsRéseaux (SSI)
4 créditsProgrammation système avancée (SSI)
4 créditsAlgorithmique pour la cryptographie (SSI)
4 créditsInformatique quantique I (SSI)
3 créditsAdministration et sécurité des bases de données (SSI)
3 crédits
S2 Génie de l'Informatique Logicielle
Architecture logicielle (GIL)
4 créditsSémantique et typage (GIL)
4 créditsThéorie des jeux (GIL)
4 créditsArchitectures distribuées (GIL)
4 créditsXML - Services Web (GIL)
3 créditsTest Logiciels (GIL)
3 crédits