Prof. Dr. Ansgar Fehnker

Computer scientist specializing in formal verification of critical software, model checking of automated transportation protocols, and educational design for self-directed engineering learning.

Official faculty profile ↗Research checked, not sponsored

Documented research interests and leadership

Research areas: Model Checking, Verification of Autonomous Systems, Interdisciplinary STEM Education
Academic position: Dean of University College Twente & Professor of Formal Methods and Software Verification
Primary university source: Official directory entry ↗
Recruitment status: Not verified. Leadership profile does not imply active vacancies or assistantship availability.

Supervision and contact

Students interested in graduate or doctoral research supervision in Model Checking, Verification of Autonomous Systems, Interdisciplinary STEM Education are advised to consult formal department application channels.

UCT ATLAS guide ↗Computer-science subject guide ↗Mentorship ↗

Important verification note

Facts reflect official university directory records reviewed 2026-10-15. Faculty recruitment and admissions require formal application.

Reviewed 2026-10-15 · Editorial standards · Report an issue