See Education

Courses taught at FMT

FMT is responsible for or involved in the following courses in the 2020-2021 academic year:

Bachelor

OSIRIS

Course

Year

Q

Teachers

202001060
202001061

Introduction to BIT
– Introduction to Computer Science

1-BIT

1...


van Staalduinen

202001021
202001022

Pearls of Computer Science
– Pearls of Computer Science Core

1-TCS

1...


Ahmed, Gerhold, Huisman

202000951
202000955

We Create Identity
– Programming

1-CR

1...


Fehnker, Gerhold

202001023
202001024

Software Systems
– Software Systems Core

1-TCS

.2..

van Dijk (coordinator)
Ahmed, Gerhold, Huisman, Zaytsev

201700279

Data & Information

1-TCS

...4

Ahmed

201900266

Art, Impact and Technology
– Have Fun & Play!

1-CR

...4

Gerhold (coordinator)
StoelingaFehnker

202000991
202000993

Intelligent Interaction Design
– Artificial Intelligence

2-CR

.2..


Fehnker, Gerhold

201800141

Discrete Structures & Eff. Algorithms

2-TCS

..3.


Ahmed, Gerhold, Hahn, Langerak

201600234

Data: From the Source to the Senses

2-CR

...4


Ahmed

201400537

Programming Paradigms

2-TCS

...4

Huisman (coordinator)
Ahmed, Hartmanns

202001048
202001049

Design Project
– Design Project Core

3-TCS

1.3.

Langerak (coordinator)
All FMT members

202001042
202001043

Cyber-Physical Systems
– Cyber-Physical Systems Core

3-TCS

.2..


Langerak

202001050
202001051

Research Project
– Research Project Core

3-TCS

.2.4


Hahn, all FMT members

Master

OSIRIS

Course

Q

Teachers

201400171

Capita Selecta Software Technology

1234

All FMT members

192199978

Final Project

1234

All FMT members

192199508

Research Topics

1234

All FMT members

201500039

Security Verification

1234

All FMT members

201400174

Data Science

123.

Ahmed

192111332

Design of Software Architectures

1...

Deckers, Zaytsev

201400172

Industrial Software Engineering Project

12..

Fehnker

192135310

Modeling and Analysis of Concurrent Systems

1...

Langerak

192140122

System Validation

1...

Huisman

201900082

Advanced Algorithms and Computational Complexity

.2..

Broersma

201200006

Quantitative Evaluation of Embedded Systems

.2..

Hartmanns

191520751

Graph Theory

..3.

Broersma

201700081

Probabilistic Programming

..3.

Katoen


Software Evolution

..3.

Zaytsev

201700084

Software Science: Probabilistic Model Checking

..3.

Hahn, Hartmanns


Software Testing and Reverse Engineering

..3.

Hartmanns, Verwer

202001472

Software Testing and Risk Assessment

..3.

Stoelinga

192111092

Advanced Logic

...4

Hahn

201700082

Principles of Programming, Processes and Patterns

...4

Fehnker


Quantum Computing

...4


201700084

Software Science: Graph Transformations

...4

Rensink

Pre-master

OSIRIS

Course

Q

Teachers

202001182

Algorithms, Datastructures and Complexity

.2..

Langerak

202001183

Algorithms, Datastructures and Complexity for EMSYS

.2..

Langerak

Professional