Edwin Brady

Idris: Programming with Dependent Types

Lecturer in Computer Science at the University of St Andrews

Idris: Programming with Dependent Types

About Edwin

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, 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 playing a game of Go, wrestling with the crossword, or stuck on a train somewhere in Britain.

 

Github: edwinb

Twitter: @edwinbrady

Back to conference page