About
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.
Find Mark Jonathan Chimes elsewhere
Related Searches
You Might Also Like
- EEva Maria WagnerVienna University of Technology · Researcher
- TTobias SalzerVienna University of Technology · Researcher
- BBeatrix BuhlVienna University of Technology · Visiting Professor
- JJohannes SchrottVienna University of Technology · Researcher
- MMatthias NitzschkeVienna University of Technology · Researcher
- RRobin CoutelierVienna University of Technology · Researcher