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: Manuel Carrasco

Manuel 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: 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.

Course Assistant: Arindam Sharma

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