Mark Chimes

PhD student

Group Models of Computation
Room Office HA0309 (Show FORSYTE location)
Email mark.chimes@tuwien.ac.at
Other links

Teaching

Course number Course name Type Latest/upcoming Semester TISS link
192185 Seminar in Computer Science (Formal Methods in Systems Engineering) SE 2025W
192184 Seminar in Logic (Formal Methods in Systems Engineering) SE 2025W
184749 Semantics of Programming Languages VU 2025S