Patrick Ritzenfeld

Patrick Ritzenfeld, M.Sc., is a current research associate at the University of Duisburg-Essen, affiliated with the Formal Methods in Computer Science (FMI) group. His role involves academic teaching, research, and participation in projects like PITCH. He can be contacted at Lotharstr. 65 (LF), Duisburg, Room LF 231B, or via phone (+49 203 37 91243) and email.

• Current Teaching: Summer Semester 2025 Exercises on 'Programming Paradigms'.
• Past Teaching: Winter Semester 2024 Exercises on 'Introduction to Logic' and 'Modeling'.

Ritzenfeld's research focuses on formal methods in computer science, particularly in artificial intelligence, functional programming, and e-learning technologies. His work contributes to automated assessment systems and educational DSL implementations in Haskell environments.