Prof. Dr. Marko van Eekelen

Prof. Dr. Marko van Eekelen is a leading Dutch computer scientist researching formal software verification, green computing algorithms, and functional programming languages.

Official faculty profile ↗Research checked, not sponsored

Documented research interests and leadership

Research areas: Formal methods, Software verification, Energy-efficient computing, Static code analysis
Academic position: Professor of Software Technology and Computer Science
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 Formal methods, Software verification, Energy-efficient computing are advised to consult formal department application channels.

Open Universiteit 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