Curriculum Software Engineering

Software Engineering


Students are required to select five courses from the following list :

  • Advanced Software Engineering
  • Concurrent Systems
  • Formal Methods for Software Development
  • Mathematical Logic for Computer Science
  • Security of Software Applications
  • Software Systems Verification

and four courses from the following list :

  • Big Data Computing
  • Compilers
  • Computability and Complexity
  • Distributed Systems
  • Machine Learning
  • Models of Computation
  • Web Interaction

Four additional courses can be freely selected from the complete list of courses taught in the Master Program. Additional details and constraints are available here

The complete list of courses, related programs and schedules are available here