Teaching Team

Lecturer: Cristian Cadar

Cristian is the main lecturer for the course. Feel free to get in touch with him about the lectures or the course in general.

Course Assistant: Martin Nowack

Martin will jointly run tutorials and the coursework side of the module. Feel free to get in touch with him in relation to these topics.

Course Assistant: Daniel Schemmel

Daniel will jointly run tutorials and the Symbolic Execution coursework side of the module. Feel free to get in touch with him in relation to these topics.