Prof.Dr Marieke Huisman |
| Research and teaching mandate (leeropdracht) |
Program specification and verification |
| Expertise |
Reliability of software, with a specialisation in formal verification of concurrent software. |
| Email |
M.Huisman@utwente.nl |
Professorships
Universiteit Twente (UT)
| Faculty | EWI | | Department | Formal Methods and Tools | | Type of professor | UHD 1 | | Discipline | Program specification and verification | | FTE | 0.8 | | From | 2011-06-01 |
| Until | 2017-06-30 |
| | Enschede, Nederland | | E-mail | M.Huisman@utwente.nl |
Universiteit Twente (UT)
| Faculty | EWI | | Department | FMT | | Type of professor | Full professor | | Discipline | Software reliability | | FTE | 0.8 | | From | 2017-07-01 |
| Until | Present |
| | Enschede, Nederland | | E-mail | m.huisman@utwente.nl |
|
« Back to affiliates |
