Marcellus Siegburg

Marcellus Siegburg is a Research Associate in the Department of Computer Science / AI at the University of Duisburg-Essen, working under Prof. Dr. Janis Voigtländer in the Formal Methods in Computer Science group. His responsibilities include teaching courses on programming paradigms and modeling, with ongoing instructional activities scheduled through 2025.

His research focuses on applying formal methods to educational contexts, particularly in:

• Automated generation of exercises for modeling tools (Petri nets, UML diagrams)
• Development of assessment systems for programming languages (Haskell)
• Integration of formal verification tools like Alloy into pedagogical workflows
• Model-driven development for educational technologies

His publications demonstrate a consistent focus on automating computer science education components, combining formal methods with practical teaching tools. The work emphasizes scalability and diversity in exercise generation while maintaining academic rigor.

As part of the Formal Methods research group, he collaborates on projects involving domain-specific languages and automated assessment systems. No awards, grants, or student advising relationships are documented in available materials.