Dr. Marieke Huisman

Professor

Build a Statement of Purpose

Generate a tailored SOP for Dr. Marieke Huisman. Improve your application with a focused, well-structured draft.

Biography

Marieke Huisman is a Full Professor in software reliability at the University of Twente, leading the Formal Methods Tools (FMT) Group. Her research focuses on the reliability and correctness of concurrent and distributed software, employing verification techniques through the VerCors tool set. As a lecturer in the Department of Computer Science, she teaches programming concepts, formal methods, and program verification. Huisman has received notable recognitions including the Netherlands Prize for ICT Research in 2013, which acknowledges innovative contributions in the field by early-career researchers. Her academic initiatives also extend to significant roles within scientific communities such as the Netherlands Academy of Engineering, where she is a board member.

Research Interests

Software Reliability Concurrent Software Distributed Software Formal Methods Verification Techniques

Experience

Full Professor

2010-01-01 — Present

University of Twente • Enschede, Netherlands

Leading the Formal Methods Tools Group and conducting research in software reliability.

Awards

#

Netherlands Prize for ICT Research

2013-10-01

Requirements for University of Twente

Master Program
Requirements
GPA Requirement
Required:3.2
IELTS
Listening
Required:6
Reading
Required:6
Writing
Required:6
Speaking
Required:6
Overall
Required:6.5
TOEFL
Listening
Required:21
Reading
Required:21
Writing
Required:21
Speaking
Required:21
Total
Required:90
GMAT
Total Score
Required:600
Overall
Required:600
GRE General
Verbal
Required:143
Verbal Percentile
Required:25
Quantitative
Required:155
Quantitative Percentile
Required:60
Analytical Writing
Required:3
Writing Percentile
Required:25
Prerequisites
Bachelor of Science in a related field Knowledge of Statistics and Probability Knowledge of Mathematics Specialization-related topics: Operation Research, Simulation, Financial topics
Application Checklist
  • Transcript of records
  • Copy of diploma
  • Motivation letter
  • Resume (Europass format)
  • Course descriptions of relevant courses
  • English summary of thesis
Specialization Notes

Includes specializations in Financial Engineering & Management, Healthcare Technology & Management, and Production & Logistics Management.