Home

News

The Masters Degree

Applications for Admissions

Academic Program

Masters Project

Other programs in applied maths & informatics

Information for Foreign Students

Restricted area




Universities

The theme Software and hardware components engineering ; quality engineering, models of computation is composed of the following courses:

UE# of credits
1. Advanced software modeling and engineering6 ECTS
2. Embedded systems: from high- confidence design to safe execution6 ECTS
3. Process engineering6 ECTS
4. SAT/SMT solving3 ECTS
5. Program testing and verification3 ECTS
6. System design: concurrency, real- time, stochastics, and analog/digital6 ECTS
7. Cloud Computing, from infrastructure to applications6 ECTS
8. Large scale Data-Management and Distributed systems*6 ECTS
9. Advanced parallel systems6 ECTS

Course 4. is common with Operations Research, Combinatorics and Optimization

'*' Course in the list of long training courses in AI of the Multidisciplinary Institute in Artificial Intelligence (MIAI) and open to a special certification in AI. Courses 4&5 should be taken together

Edit - History - Print - Recent Changes - Search
Page last modified on June 02, 2021, at 03:49 PM