Mark Jonathan Chimes

Mark Jonathan Chimes is a Researcher in the Department of Formal Methods in Systems Engineering at Vienna University of Technology (TU Wien). He holds the role of PreDoc Researcher and is affiliated with the E192-04 institute. His work focuses on formal methods, programming semantics, and logic-based systems engineering. Chimes teaches the course 'Semantics of Programming Languages' (2025S) as a VU (lecture with exam). His research includes contributions to graph grammars and their applications in formal verification, as evidenced by his 2024 publication in the Conference on Logic for Programming, Artificial Intelligence, and Reasoning (LPAR). He can be contacted at mark.chimes@tuwien.ac.at and is located at Favoritenstrasse 9, Room HA0309.