Course programme

Specializations overview 4TU

One programme - three flavours
A largely identical programme can be followed at any of the three locations, with subtle differences related to local specializations. A non-exhaustive list of specializations is given below.

Location: University of Twente

  • Dependable systems, formal methods and tools
  • Embedded control systems
  • Energy efficient systems
  • Small embedded systems, e.g. ambient/pervasive systems

Location: Eindhoven University of Technology

  • Systems on chip
  • Reliable embedded software design
  • Networks of embedded systems
  • Architectures of embedded systems
  • Formal analysis and design

Location: Delft University of Technology

  • Computer Architecture
  • Control Sytems
  • Software & Networking