University of Strathclyde
location_on United Kingdom
Member since 3 months
Specialises In (based on submitted proposals)
Conor McBride leads the Mathematically Structured Programming group at the University of Strathclyde, in Glasgow, Scotland. He has been building programming languages for thirty years and is still unhappy with them. His postdoctoral work on the dependently typed functional language Epigram helped to provoke the design of Agda and of Idris. His Haskell preprocessor, the Strathclyde Haskell Enhancement, provoked the DataKinds extension in GHC. He is always looking to bring the mathematical structure of types and programs off the blackboard and onto the motherboard. He is also a working programmer.