Courses taught at FMT

202500204

Databases, Operating Systems and Networks

1 B-BIT

1...

Ahmed

202200023
202200021

Data Science & AI
– Explainable AI & Ethics
– Machine Learning for Datatypes

1-TCS

1...
1...

Ahmed

202001021
202001022

Diamonds of Computer Science
– Pearls of Computer Science Core

1-TCS

1...

Gerhold (coordinator)
Caltais, Gerhold, Huisman, Lammich

202200133

Foundations of Create - Introduction to Computer Science and Programming

1-CR

1...

Lammich, Lopuhaä

202400608

Internship TCS

12..

Rensink

202001048
202001049

Design Project
– Design Project Core

3-TCS

1.3.

Langerak (coordinator)
All FMT members

202001023
202001024

Software Systems
– Software Systems Core

1-TCS

.2..

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

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, Rensink

202001359
202001360
202001361

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

2-TCS

..3.

Hahn
Langerak

202001027
202001028

Data & Information
– Data & Information Core

1-TCS

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

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

201400174

Data Science

123.

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

202100115

Program Verification (Software Science)

..3.

Huisman

202001472

Software Testing and Risk Assessment

..3.

van den Bos, Lopuhaä

201400225

Software Evolution

...4

Zaytsev

192111092

Advanced Logic

...4

Hahn

202100116

Model Checking and Parity Games (Software Science)

...4

van Dijk

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ä