Teaching Team

Lecturer: Cristian Cadar

Cristian will lecture on: dynamic symbolic execution; constraint solving; the lockset algorithm; undefined behaviour, compiler bugs and unstable code; introduction to security and stack canaries; safe C compilers; and control-flow, data-flow and write integrity. Feel free to get in touch with him in relation to these course topics or about the course in general.

Lecturer: Alastair F. Donaldson

Alastair (Ally) will lecture on: verification condition generation; procedure summaries; bounded model checking; invariant generation; systematic testing for concurrent programs; and undefined behaviour. Feel free to get in touch with him in relation to these course topics or about the course in general. Ally is also running the coursework component of Software Reliability, so get in touch with him for coursework queries.

Course Support Leader: Luís Pina

Luís will deliver tutorials covering a wide selection of topics from the course.