Conor McBride
| Use attributes for filter ! | |
| Gender | Male |
|---|---|
| Born | Newtownards |
| United Kingdom | |
| Academic advisor | Rod Burstall |
| Fields | Computer Science |
| Type theory | |
| Job | Computer scientist |
| Education | The University of Edinburgh |
| Date of Reg. | |
| Date of Upd. | |
| ID | 1115053 |
Conor McBride Life story
Conor McBride is a lecturer in the department of Computer and Information Sciences at the University of Strathclyde. In 1999 he completed a PhD in 'Dependently Typed Functional Programs and their Proofs' at the University of Edinburgh for his work in type theory.