University of Strathclyde

Conor McBride completed his PhD in ‘Dependently Typed Functional Programs and their Proofs’ in 1999. Since then he’s worked at Durham University and Royal Holloway before joining the University of Strathclyde.