==============
  M. Huisman
==============

- Marieke

- geboren 1973

- doctoraal Utrecht 

- promotie Nijmegen 01 februari 2001
- proefschrift: Reasoning about Java programs in higher order logic using PVS and 
  Isabelle.
- promotor: H.P. Barendregt; copromotoren: B.P.F. Jacobs en H. Meijer.

- hoogleraar Software reliability
  2018-

- Software reliability for everyone. -- Intreerede 25 januari 2018