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

202200133

Foundations of Create - Introduction to Computer Science and Programming

1-CR

1...

Lammich, Lopuhaä

202001023
202001024

Software Systems
– Software Systems Core

1-TCS

.2..

van Dijk (coordinator)
van den Bos, Caltais, Castor, van Dijk, Gerhold, Huisman, 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)

202300277

Hands-on AI - Programming for AI

2-CR

..3.

Gerhold

202001359
202001360
202001361

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

2-TCS

..3.

Hahn
Langerak

202001003
202001007

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

2-CR

...4

—
Ahmed

202300355
202300357
202300357

Programming Paradigms
– Concurrency and Compiler Construction
– Functional and Logic Programming

2-TCS

...4

Hartmanns (coordinator)
Caltais, Hartmanns, 
van Dijk, Rensink

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, Lammich, all FMT members

201800496

S2: Mathematics (UCT ATLAS)

...4

Gerhold

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

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

Lopuhaä

202100126

Interactive Theorem Proving

.2..

Lammich

202300109

Quantitative Evaluation of Systems

..3.

Hartmanns

201700081

Probabilistic Programming

..3.

Katoen

201400225

Software Evolution

..3.

Zaytsev

202001472

Software Testing and Risk Assessment

..3.

van den Bos, Lopuhaä

192111092

Advanced Logic

...4

Hahn

202100114

Graph transformations

..3.

Rensink

202100113

Probabilistic Model Checking

...4

Hahn, Hartmanns

202300336

Explainable AI

...4

Ahmed

201600051

Software Security

.2..

Castor

202400609

Green Software Development

1...

Castor

202001182

Algorithms, Datastructures and Complexity

.2..

Langerak

202001183

Algorithms, Datastructures and Complexity for EMSYS

.2..

Langerak

Digital Design & Architecture

Stoelinga

Inf4all: Grondslagen

12..

Lopuhaä

Introduction Master Risk Management

1...

Stoelinga

202400565

Risk Management Cycle

1.3.

Stoelinga, Lopuhaä