Oliver Westphal

Oliver Westphal is a Researcher at the University of Duisburg-Essen, Germany, affiliated with the Formal Methods of Computer Science department. Since 2020, he has been actively involved in teaching activities related to programming paradigms, functional programming, and foundational logic courses. His academic work focuses on functional programming education, automated assessment of programming assignments, and domain-specific languages (DSLs) for e-learning systems.

His recent publications highlight expertise in developing frameworks for Haskell I/O exercise generation and testing, as well as implementing DSLs for educational technology. Westphal has contributed to international workshops such as WFLP, TFPIE, FLOPS, and ABP, with a focus on improving programming education through formal methods and automated evaluation techniques.

Contact: oliver.westphal@uni-due.de | Office: Room LF 232, Lotharstr. 65, Duisburg