Edwin Brady
Lecturer at University of St Andrews
Kirkcaldy, Scotland, United Kingdom
Summary
🤩
Rockstar🎓
Top SchoolEdwin Brady is a lecturer and researcher in computer science at the University of St Andrews with 14 years of academic experience focused on functional programming, dependent types, domain-specific languages, compilers, program generation, and type theory. He progressed through research fellow and advanced research fellow roles before securing a lectureship, reflecting long-term commitment to both teaching and cutting-edge research. His PhD from Durham underpins a strong theoretical foundation that he applies to practical compiler and DSL design. Based in Kirkcaldy, Scotland, he blends rigorous type-theoretic work with hands-on system building, often bridging formal methods and implementable tooling. Colleagues describe him as someone who turns abstract type theory into usable program-generation techniques that inform both pedagogy and software artifacts. He frequently operates at the intersection of theory and practice, making advanced language features accessible to developers and students alike.
14 years of coding experience
PhD, Computer Science, PhD, Computer Science at Durham UniversityBSc, Computer Science, BSc, Computer Science at University of Durham
Stackoverflow
4,556reputation
38kreached
24answers
0questions
lazy-evaluation
top-5%
Github Skills (69)
programming-language10
phonetics10
refactoring10
static-analysis10
dependent-types10
languagetool10
idris10
compiler10
jvm10
java10
query-language10
type-checking10
functional-programming-language10
nfa10
lazy-evaluation9
Programming languages (9)
Github contributions (5)
edwinb/TypeDD-Samples
Feb 2017 - May 2017
Sample code from "Type Driven Development with Idris"
Contributions:5 commits, 1 PR, 3 pushes in 2 months
typescriptdddidris
edwinb/idris-php
Mar 2015 - Aug 2017
Yes, really...
Contributions:20 commits, 3 PRs, 17 pushes in 2 years 5 months
dotfilesreallyyes
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.