Edwin Charles Brady

Edwin Charles Brady is an Associate Professor (Reader) at the School of Computer Science, University of St Andrews. His research focuses on programming languages, dependent types, and formal verification. He leads projects such as Type-Driven Verification of Communicating Systems and contributed to EU-funded FP7 ADVANCE. He actively participates in academic events like Lambda World and organizes annual 'Doors Open @ Computer Science' outreach events.

His expertise includes type systems, DSL design, compilers, and theorem proving. Notable contributions include the Idris programming language and frameworks for resource-aware EDSLs. Brady supervises research in areas like type-level testing and program refactoring.

• Projects:
  • Type-Driven Verification of Communicating Systems (EPSRC-funded)
  • FP7 ADVANCE (EU-funded)
• Activities:
  • Speaker at Lambda World (2016)
  • Organizer of Doors Open events (2023–2025)