Person

Dr. M. Huisman

Pagina-navigatie:

Update Persondata

Active as

Associate professor
Organisation	Chair Formal Methods and Tools (UT)
Chair (EN)	Formal Methods and Tools
Chair (NL)	Formal Methods and Tools
Phone	+31-53-4894662
Email	Marieke. Huisman -at- ewi. utwente. nl
URL	http://wwwhome.ewi.utwente.nl/~marieke/

(the most recent research is at the top)
Project leader	Security by logic for multithreaded applications

(the most recent research is at the top)
Project leader	Specifiation and Verification of Multithreaded Object-Oriented Programs

D16200	Software, algorithms, control systems