Courses taught at FMT

202600069

Information Storage and Retrieval 

1 B-BIT

1...

Ahmed

202600120
202600122
202600123
202600125
202600124

Data Science & Artificial Intelligence
– Machine Learning for Datatypes - Basic
– Advanced Machine Learning 
– Explainable AI
– Neurosymbolic AI

1-TCS

3-TCS

1...
1...

Ahmed



van Dijk

202500330
202500331
202500332

Diamonds of Computer Science
– Software Diamond
– Information Diamond

1-TCS

1...

Gerhold and Zaytsev (coordinator)
Gerhold, Huisman, Lammich, Rensink
Caltais

202200133

Foundations of Create - Introduction to Computer Science and Programming

1-CR

1...

Gerhold, Lopuhaä

202400608

Internship TCS

12..

Rensink

202001048
202001049

Design Project
– Design Project Core

3-TCS

1.3.

Langerak (coordinator)
All FMT members

202500340
202500341
202500342
202500343
202500344

Software Systems
– Software Design and Modelling
– Introduction to Programming
– Advanced Programming
– Software System Implementation Project

1-TCS

.2..

Castor (coordinator), Huisman
van den Bos, Zaytsev
van Dijk
van Dijk
van Dijk, Caltais

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

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

202300355
202300357
202300357

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

2-TCS

...4

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

202000972
202000975
202000973

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

1-CR

...4

Gerhold (coordinator)

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

202600340
202600350

Data Science 4ALL
Topics in Data Science

1.3.
.23.

Ahmed
Ahmed

202400609

Green Software Development

1...

Castor

202100126

Interactive Theorem Proving

1...

Lammich

192135310

Modeling and Analysis of Concurrent Systems

1...

Langerak

192140122

System Validation

1...

Huisman

201400172

Industrial Software Engineering Project

12..

van den Bos

202500373

BB for Sustainable Computing Systems

.2..

Castor

192111332

Design of Software Architectures

.2..

Caltais

201900082

Graph Algorithms and Complexity

.2..

Lopuhaä

 201600051

Software Security

.2..

Castor

202300109

Quantitative Evaluation of Systems

..3.

Hartmanns

201700081

Probabilistic Programming

..3.

Katoen

202100114

Graph transformations

..3.

Rensink

202001472

Software Testing and Risk Assessment

..3.

van den Bos, Lopuhaä

201400225

Software Evolution

...4

Zaytsev

192111092

Advanced Logic

...4

Hahn

202100113

Probabilistic Model Checking

...4

Hahn, Hartmanns

202300336

Explainable AI

...4

Ahmed

202001182

Algorithms, Datastructures and Complexity

.2..

Langerak

202001183

Algorithms, Datastructures and Complexity for EMSYS

.2..

Langerak

202500213

Mathematics for pre-masters Business Information Technology

1.3.

Ahmed

Digital Design & Architecture

Stoelinga

Inf4all: Grondslagen

12..

Lopuhaä

Accelerate NS, an in-company-programme for Dutch Railways (NS)

.23.

Stoelinga, Lopuhaä

202400565

Risk Management Cycle

1.3.

Stoelinga, Lopuhaä