As of 2016-2017 Methods and Tools for Verification will no longer be offered as a specialization within the Master's programme of Computer Science. Students who already started the programme can continue the specialization according to the course programme agreed upon with the programme mentor. 

Starting students with an interest in verification are referred to the Software Technology specialization. 

The Methods and Tools for Verification (MTV) programme is targeted towards ambitious computer science students, who want to become

Apart from the general attainment levels for the Computer Science Master, MTV graduates demonstrate their specialist knowledge as follows.

Programme mentor

My picture

Prof. dr. M. (Marieke) Huisman
Room: Zilverling 3039
Phone: 053 489 4662
Email: m.huisman@utwente.nl

The Formal Methods and Tools (FMT) group is responsible for the MTV Master programme. The MTV Master programme is closely related to the CTIT research on the topic of dependable systems. See also the related Twente Graduate school Programme Dependable and Secure Computing


More information on the course programme is available on the website of the Formal Methods and Tools group.
Course programme on the Formal Methods and Tools website