Registered user since Mon 13 Jun 2016
Name: Edwin Brady
Bio: I am a Lecturer in Computer Science at the University of St Andrews, interested in type theory, dependently typed functional programming, compilers and metaprogramming. I am currently working on a new implementation of Idris, a dependently typed functional programming language. When I’m not doing that, you might find me playing Go (I’m about 2 kyu), walking up a hill, watching a game of cricket, or waiting for a delayed train. I’m afraid I also perpetrated the Whitespace programming language.
Country: United Kingdom
Affiliation: University of St. Andrews
Personal website: https://eb.host.cs.st-andrews.ac.uk
Research interests: Functional Programming, Dependent Types, Domain Specific Languages
View general profile