× Logo@2x
Eventil Find Tech Events
Official
In Play Store
View
× Logo app store
Eventil
Official
In App Store
View
Default

Edwin Brady

Lecturer in Computer Science

Are you Edwin Brady?

Claim your profile today and start building your speaker history.

About

Edwin Brady is a Lecturer in Computer Science at the University of St Andrews in Scotland, UK. His research interests there include programming language design, in particular type systems and domain specific languages. Since 2008, he has been designing and implementing the Idris programming language (http://idris-lang.org), a general purpose functional programming language with dependent types, which he uses to implement verified domain specific languages. When he’s not doing that, he’s likely to be pla

Spoke in 3 countries