Courses

In 2018/2019, FMT will be responsible for the following courses:
Up-to-date information on most of these courses will be available on Blackboard UT

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 / Joosten / Langerak / Polderman / Rensink / Uetz
201400537 Programming paradigms B2 ...4 Huisman / Joosten
201500121 TCS Design Project B3 1.3. Langerak
- Bachelor Referaat INF B3 .2.4 van de Pol / Stoelinga
201700273 Cyber Physical Systems B3 .2.. Haverkort / Langerak

Master

OSIRIS course name year kw teacher(s)
201700082 Programming Principles, Patterns, and Processes m ...4 Fehnker
201400171 Capita Selecta Software Technology M 1234 All FMT members
201400172 Industrial Software Engineering Project M 1234 Fehnker
201500039 Security Verification M 1234 Huisman / van de Pol
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 / Remke / Ruijters
201600051 Software Security M .2.. van der Berg / Everts
192170015 Testing Techniques M ..3. Brinksma / Stoelinga
201500036 Software Testing and Reverse Engineering M ..3. Hartmanns / Verwer
201700081 Probabilistic Programming M ..3. Katoen / van Keulen / Ruijters
201700084 Software Science (Quantative Risk Analysis and Static Analysis) M ..3. Fehnker / Stoelinga
192111092 Advanced Logic M ...4 Joosten
201400225 Software Evolution M ...4 Serebrenik
201700084 Software Science (Program Verification and Graph-transformation) M ...4 Joosten / 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