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 domain specific languages (DSLs). I am currently working on the implementation of DSLs for stateful, resource-aware programming, especially for correct network protocol design and implementation, using Idris, a dependently typed functional programming language.
When I’m not doing that, you might find me playing Go (I’m about 1 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.
Affiliation: University of St Andrews
Personal website: http://www.dcs.st-and.ac.uk/~eb
|Onward! 2016||Committee Member in Program Committee within the Onward! Papers-track|
|SPLASH 2016||Speaker of Type-driven Development in Idris within the SPLASH-I-track|
|Show activities from other conferences|
View general profile