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: Bachir Bendrissou

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

Course Assistant: Martin Nowack

Martin 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.

Course Assistant: James Lee-Jones

James 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.

Course Assistant: Max Stupple

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