Courses

In 2018/2019, FMT will be responsible for the following courses:

Bachelor

OSIRIS course name year kw teacher(s)
201700132 We Create Identity B1 1... Fehnker
201700139 Pearls of Computer Science B1 1... Rensink
201700117 Softwaresystemen B1 .2.. Fehnker / Huisman
201700341 Art, Impact and Technology B1 ...4 Fehnker / Stoelinga
201600275 Honours bachelor (Origins) B2 12.. Broersma
201800139 Statistics and Analysis B2 1... Broersma
192140200 Algorithms, Datastructures & Complexity B2 .2.. Langerak
201700131 Intelligent Interaction Design B2 .2.. Fehnker
201400351 Honours bachelor (Individual Project) B2 ..34 Broersma
201700304 Discrete Struct. & Efficient Algoritms B2 ..3. Broersma / Budde / Joosten / Langerak / Rensink / Safari
201400537 Programming paradigms B2 ...4 Hartmanns / Huisman / Joosten
201500121 TCS Design Project B3 1.3. Langerak
- Bachelor Referaat INF B3 .2.4 All FMT members
201700273 Cyber Physical Systems B3 .2.. Langerak

Master

OSIRIS course name year kw teacher(s)
201400171 Capita Selecta Software Technology M 1234 All FMT members
201400172 Industrial Software Engineering Project M 1234 Fehnker / Rensink
201500039 Security Verification M 1234 All FMT members
192111332 Design of Software Architectures M 1... Ak┼čit
192135310 Modeling & Analysis of Concurrent System M 1... Langerak
192140122 System Validation M 1... Ehsan / Huisman / Joosten
201200006 Quantitative Evaluation of Embedded Systems M .2.. Hartmanns / Ruijters
201600051 Software Security M .2.. van der Berg
192170015 Testing Techniques M ..3. Stoelinga / van der Wal
201500036 Software Testing and Reverse Engineering M ..3. Hartmanns / Verwer (Delft)
201700081 Probabilistic Programming M ..3. Katoen / Ruijters
201700084 Software Science (Quantative Risk Analysis and Program Verification) M ..3. Joosten / Stoelinga
192111092 Advanced Logic M ...4 Bloemen / Joosten
201400225 Software Evolution M ...4 Serebrenik (TUE)
201700082 Programming Principles, Patterns, and Processes M ...4 Fehnker
201700084 Software Science (Static Analysis and Graph-transformation) M ...4 Fehnker / Rensink

Pre-master

OSIRIS course name year kw teacher(s)
201500292 Linear Algebra pre-M 1... Broersma

Professional

OSIRIS course name year kw teacher(s)
- Grondslagen van de informatica Lerarenopl 12.. Fehnker
- Risicomanagement PLD 1.3. Stoelinga