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


OSIRIScourse nameyearkwteacher(s)
192135201Formal Methods for Software EngineeringB2/31...Rensink
201500111SoftwaresystemenB1.2..Huisman / Rensink / van Luijk / Sikkel (SCS) / Everts (SCS) / Zwiers
201100117Have Fun and Play! (Creative Technology)B1...4Stoelinga
192114700Verification EngineeringB2.2..van de Pol
192140200Discrete StructurenB2..3.Langerak / van de Pol / Polderman (Applied Mathematics) / Uetz (DMMP)
201400537ProgrammeerparadigmasB2...4Rensink / Huisman / Kuper (CAES) / van de Pol
192199109Cyber Physical SystemsB3.2..Langerak / Haverkort (DACS)
192199109Ontwerpproject (semester 2)B3..3.Langerak
192199259Bachelor Referaat INFB3...4Stoelinga
192135300Concurrent and Distributed ProgrammingB3...4Huisman
192199259Bachelor Referaat INF (semester 1)B312..van de Pol
192199109Ontwerpproject (semester 1)B312..Langerak


OSIRIScourse nameyearkwteacher(s)
201400171Capita Selecta Software TechnologyM1...Akşit / van den Broek
192111332Design of Software ArchitecturesM1...Akşit
192135310Modelling and Analysis of Concurrent Systems 1M1...Langerak / van de Pol
192140122System ValidationM1...Huisman
201400173Concepts of programming languagesM.2..Akşit
192111092Advanced LogicM..3.Rensink
192170015Testing TechniquesM..3.Stoelinga / Brinksma
201400170Best Practices in Software DevelopmentM...4Rensink
192135320Modelling and Analysis of Concurrent Systems 2M...4van de Pol
192114300Program VerificationM...4Huisman
201400172Industrial Software Engineering Project12..Rensink

Visual Paradigm offers University of Twente VP for educational use through the VP Academic Partner Program.


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.