Courses

In 2011/2012, FMT will be responsible for the following courses.
Up-to-date information on most of these courses will be available on Blackboard UT.

OSIRIS	course name	year	kw	teacher(s)
Bachelor
192135000	Programmeren 1	B1	1...	Huisman / Ferreira Pires (SE)
192135050	Programmeren 2	B1	..3.	Huisman / Ferreira Pires (SE)
192111801	Basismodellen in de Informatica	B1	...4	van de Pol
192140200	Algoritmen, Datastructuren en Complexiteit	B2	.2..	Langerak
192135201	Formal Methods for Software Engineering	B2	..3.	Rensink
192114700	Verification Engineering	B2	...4	van de Pol
192135300	Concurrent and Distributed Programming	B3	.2..	van de Pol / Huisman
192110352	Vertalerbouw	B3	...4	Rensink
192199259	Bachelor Referaat INF (semester 1)	B3	12..	Stoelinga / Bergmans (SE) / Bockisch (SE)
192199259	Bachelor Referaat INF (semester 2)	B3	..34	Stoelinga / Bergmans (SE) / Bockisch (SE)
192199109	Ontwerpproject (semester 1)	B	12..	Rensink
192199109	Ontwerpproject (semester 2)	B	..34	Rensink
Master
OSIRIS	course name	year	kw	teacher(s)
192135310	Modelling and Analysis of Concurrent Systems 1	M1	1...	Langerak / van de Pol
192130500	Performance Analysis	M1	.2..	Remke (DACS) / Stoelinga / Haverkort (DACS)
192111092	Advanced Logic	M1	..3.	Rensink
192170015	Testing Techniques	M1	..3.	Stoelinga / Brinksma
192140122	System Validation	M1	...4	Huisman
192114300	Program Verification	M2	1...	Huisman / Rensink
192135320	Modelling and Analysis of Concurrent Systems 2	M2	.2..	van de Pol
192114200	Quantitative Modeling and Analysis	M2	.2..	Stoelinga

Assignments

If you are interested in doing a Bachelor (BSc) or Master (MSc) project or an internship at the FMT group, please contact dr. Marieke Huisman, the study advisor of FMT.