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