Master Software Science and Technology (SST)

Course Description

The Master’s in Software Science and Technology (STL) is designed to educate specialists in software development, providing a strong foundation in programming languages and algorithmic methods. It caters to students interested in both the fundamental and technological aspects of computer science.

The program emphasizes learning rigorous methods and tools for designing and developing complex software, as well as modeling and analyzing 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 an apprenticeship pathway in partnership with CFA INSTA.

Year 1

• Advanced Algorithms (ALGAV)
• Programming Language Development (DLP)
• Opening and Prerequisites (OUV)
• English (ANG)
• Software Engineering (IL)
• Logic and Knowledge Representation (LRC)
• Advanced Architecture of System Kernels (NOYAU)
• Concurrent and Distributed System Programming (PSCR)
• Processor Architecture and Optimizations (ARCHI)
• Complexity, Probabilistic Algorithms, and Approximations (COMPLEX)
• Modeling, Optimization, Graphs, and Linear Programming (MOGPL)
• Software Technology Project (PSTL)
• Program Analysis and Semantics (APS)
• Advanced Compilation (CA)
• Algorithm Design and Practice (CPA)
• Components (CPS)
• Advanced Functional Style Programming (PAF)
• Reactive and Distributed Concurrent Programming (PC2R)

Year 2

• Algorithm Analysis and Random Generation (AAGA)
• Advanced Software Architectures for Cyber-Physical Autonomous Systems (ALASCA)
• Development of Reticular Application Algorithms (DAAR)
• Concurrent Programming Paradigms (PPC)
• Program Specification and Validation (SVP)
• Typing and Static Analysis (TAS)
• Professional Techniques – Environment and Applications (TPEA)
• Project Management STL (GPSTL)
• STL Engineering Project (PISTL)
• Advanced Algorithms and Programming Research Group (GRAPA)