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 (92)
programming-language10
agda10
interpreter10
lexical-analysis10
language-design10
phonetics10
refactoring10
type-inference10
static-analysis10
dependent-types10
polymorphism10
languagetool10
idris10
bytecode10
compiler10
Programming languages (7)
Github contributions (5)
edwinb/idris-php
Mar 2015 - Aug 2017
Contributions:20 commits, 3 PRs, 17 pushes in 2 years 5 months
dotfilesreallyyes
idris-lang/Idris-dev
Apr 2012 - Mar 2020
A Dependently Typed Functional Programming Language
Contributions:2699 commits, 92 PRs, 641 pushes in 8 years
dependent-typesfunctional-programmingtype-theorylanguage-designlambda-calculus
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.