See Education

Courses taught at FMT

FMT is responsible for the following courses:

Bachelor

OSIRIS

course name

year

kw

teacher(s)

201700132

We Create Identity

B1

1...

Fehnker

201700139

Pearls of Computer Science

B1

1...

Rensink

201700117

Softwaresystemen

B1

.2..

Fehnker / Huisman

201700341

Art, Impact and Technology

B1

...4

Fehnker / Stoelinga

201600275

Honours bachelor (Origins)

B2

12..

Broersma

201800139

Statistics and Analysis

B2

1...

Broersma

192140200

Algorithms, Datastructures & Complexity

B2

.2..

Langerak

201700131

Intelligent Interaction Design

B2

.2..

Fehnker

201400351

Honours bachelor (Individual Project)

B2

..34

Broersma

201800141

Discrete Struct. & Efficient Algoritms

B2

..3.

Broersma / Budde / Joosten / Langerak /

Rensink / Safari

201400537

Programming paradigms

B2

...4

Hartmanns / Huisman / Joosten

201500121

TCS Design Project

B3

1.3.

Langerak

201500120

Bachelor Referaat INF

B3

.2.4

All FMT members

201700273

Cyber Physical Systems

B3

.2..

Langerak

Master

OSIRIS

course name

year

kw

teacher(s)

201400171

Capita Selecta Software Technology

M

1234

All FMT members

201400172

Industrial Software Engineering Project

M

1234

Fehnker / Rensink

201500039

Security Verification

M

1234

All FMT members

192111332

Design of Software Architectures

M

1...

Akşit

192135310

Modeling & Analysis of Concurrent System

M

1...

Langerak

192140122

System Validation

M

1...

Ehsan / Huisman / Joosten

201200006

Quantitative Evaluation of Embedded Systems

M

.2..

Hartmanns / Ruijters

201600051

Software Security

M

.2..

van der Berg

192170015

Testing Techniques

M

..3.

Stoelinga / van der Wal

201500036

Software Testing and Reverse Engineering

M

..3.

Hartmanns / Verwer (Delft)

201700081

Probabilistic Programming

M

..3.

Katoen / Ruijters

201700084

Software Science (Parity Games and Program Verification)

M

..3.

van Dijk / Joosten

192111092

Advanced Logic

M

...4

Bloemen / Joosten

201400225

Software Evolution

M

...4

Serebrenik (TUE)

201700082

Programming Principles, Patterns, and Processes

M

...4

Fehnker

201700084

Software Science (Static Analysis and Graph-transformation)

M

...4

Fehnker / Rensink

Pre master

OSIRIS

course name

year

kw

teacher(s)

201500292

Linear Algebra

pre-M

1...

Broersma

Professional

OSIRIS

course name

year

kw

teacher(s)

-

Grondslagen van de informatica

Lerarenopl

12..

Fehnker

-

Risicomanagement

PLD

1.3.

Stoelinga