Type: LecturersCourses: Proof ComplexityAffiliation: University of LeedsCountry: United KingdomWebsite: http://www.engineering.leeds.ac.uk/people/computing/staff/o.beyersdorff