Courses taught at FMT

202001021
202001022

Pearls of Computer Science
– Pearls of Computer Science Core

1-TCS

1...

Ahmed (coordinator)
Ahmed, Caltais, Gerhold, Huisman, Lammich

202000951
202000955

Foundations of Create
– Programming

1-CR

1...

—

van den Bos, Gerhold

202001023
202001024

Software Systems
– Software Systems Core

1-TCS

.2..

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

202001027
202001028

Data & Information
– Data & Information Core

1-TCS

...4

—
Ahmed

202000972
202000975
202000973

Art, Impact and Technology
– Algorithms for Creative Technology
– Have Fun & Play!

1-CR

...4

Gerhold (coordinator)

202000991
202000993

Intelligent Interaction Design
– Artificial Intelligence

2-CR

.2..

—
Gerhold

202001359
202001360
202001361

Discrete Structures & Efficient Algorithms
– Algorithmic Discrete Mathematics
– Languages & Machines

2-TCS

..3.

Hahn (coordinator)
Langerak

202001003
202001007

Data: From the Source to the Senses
– Data Driven Applications

2-CR

...4

—
Ahmed

202001038
202001039

Programming Paradigms
– Programming Paradigms Core

2-TCS

...4

Hartmanns (coordinator)
van Dijk, Caltais, 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

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...

Zaytsev (coordinator)
Caltais

201400172

Industrial Software Engineering Project

12..

van den Bos

192135310

Modeling and Analysis of Concurrent Systems

1...

Langerak

192140122

System Validation

1...

Huisman

201900082

Graph Algorithms and Complexity

.2..

Broersma

202100126

Interactive Theorem Proving

.2..

Lammich

201200006

Quantitative Evaluation of Embedded Systems

.2..

Hartmanns

191520751

Graph Theory

..3.

Broersma

201700081

Probabilistic Programming

..3.

Katoen

201400225

Software Evolution

..3.

Zaytsev

202100115

Program Verification (Software Science)

..3.

Huisman

202001472

Software Testing and Risk Assessment

..3.

Lopuhaä

192111092

Advanced Logic

...4

Hahn

201700082

Principles of Programming, Processes and Patterns

...4

van den Bos

Quantum Computing

...4

202100116

Model Checking and Parity Games (Software Science)

...4

van Dijk

202001182

Algorithms, Datastructures and Complexity

.2..

Langerak

202001183

Algorithms, Datastructures and Complexity for EMSYS

.2..

Langerak

Inf4all: Grondslagen

12..

Lopuhaä

Introduction Master Risk Management

1...

Stoelinga

Risk Management Cycle

1.3.

Stoelinga