Curriculum Software Engineering

Software Engineering


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

  • Advanced Software Engineering
  • Automatic Software Verification Methods
  • Concurrent Systems
  • Formal Methods for Software Development
  • Security of Software Applications

and five courses from the following list :

  • Big Data Computing
  • Cloud Computing
  • Distributed Systems
  • Human Computer Interaction on the Web
  • Machine Learning
  • Mathematical Logic for Computer Science
  • Models of Computation

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