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.

Bachelor

OSIRIScourse nameyearkwteacher(s)
192135000Programmeren 1B11...Huisman / Ferreira Pires (SE)
192135050Programmeren 2B1..3.Huisman / Ferreira Pires (SE)
192111801Basismodellen in de InformaticaB1...4van de Pol
192140200Algoritmen, Datastructuren en ComplexiteitB2.2..Langerak
192135201Formal Methods for Software EngineeringB2..3.Rensink
192114700Verification EngineeringB2...4van de Pol
192135300Concurrent and Distributed ProgrammingB3.2..van de Pol / Huisman
192110352VertalerbouwB3...4Rensink
192199259Bachelor Referaat INF (semester 1)B312..Stoelinga / Bergmans (SE) / Bockisch (SE)
192199259Bachelor Referaat INF (semester 2)B3..34Stoelinga / Bergmans (SE) / Bockisch (SE)
192199109Ontwerpproject (semester 1)B12..Rensink
192199109Ontwerpproject (semester 2)B..34Rensink

Master

OSIRIScourse nameyearkwteacher(s)
192135310Modelling and Analysis of Concurrent Systems 1M11...Langerak / van de Pol
192130500Performance AnalysisM1.2..Remke (DACS) / Stoelinga / Haverkort (DACS)
192111092Advanced LogicM1..3.Rensink
192170015Testing TechniquesM1..3.Stoelinga / Brinksma
192140122System ValidationM1...4Huisman
192114300Program VerificationM21...Huisman / Rensink
192135320Modelling and Analysis of Concurrent Systems 2M2.2..van de Pol
192114200Quantitative Modeling and AnalysisM2.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.