Master Software Science and Technology (SST)

Course Description

The Master in Software Science and Technology (STL) aims to train specialists in software development, with a solid foundation in programming languages and algorithmic methods. It is designed for students interested in both the fundamental and technological aspects of computer science.

The program focuses on learning rigorous methods and tools for the design and development of complex software, as well as for the modeling and analysis of algorithmic problems arising from various application domains.

The STL track offers a research pathway (Algorithm and Programming Research) and two professional pathways, including a traditional one (Algorithm and Programming for Engineers) and one through apprenticeship, in partnership with CFA INSTA.

Mater 1er année

• ALGAV (Algorithmique Avancée)
• DLP  (Développement de Langages de Progrommation)
• OUV (Ouverture et pré-requis)
• ANG  (Anglais)
• IL (Ingénierie Logicielle)
• LRC (Logique et Représentation des Connaissances )
• NOYAU (Architecture avancée des noyaux des systèmes )
• PSCR (Programmation système concurrente et répartie )
• ARCHI (Architecture des processeurs et optimisations )
• COMPLEX (Complexité, Algorithmes Probabilistes et Approchés )
• MOGPL (Modèlisation, Optimisation, Graphes, et Programmation Linéaire)
• PSTL

• APS (Analyse des Programmes et Sémantique)
• CA (Compilation Avancée)
• CPA (Conception et Pratique d’Algorithmes)
• CPS (Composants)
• PAF (Programmation Avancée en style Fonctionnel)
• PC2R (Programmation Concurrente Réactive et Répartie)

Master 2eme année

• AAGA ( Analyse d’Algorithmes et Génération Aléatoire)
• ALASCA (Architectures Logicielles Avancées pour les Syst&eagrave;mes Cyber-physiques Autonomiques )
• DAAR (Développement des Algorithmes d’Application Réticulaire)
• PPC (Paradigmes de Programmation Concurrente)
• SVP (Spécification et Validation de Programmes)
• TAS (Typage et Analyse Statique)
• TPEA (Techniques Professionnelles – Environnement et Applications)
• GPSTL (Gestion de Projet STL)
• PISTL (Projet d’Ingénierie STL)
• GRAPA (Groupe de Recherche en Algorithmique et en Programmation Avancées)