معرفی
Edwin Brady is a Reader in the School of Computer Science at the University of St Andrews. His research focuses on dependent types, programming languages, and their application to verification, DSLs, and compiler design. He is a key contributor to the Idris programming language, emphasizing type-driven development and formal methods. Brady supervises PhD students including Thomas Hansen, Ellis Kesterton, Bhakti Shah, and Constantine Theocharis.
His work spans foundational research in type systems, practical compiler implementation, and tool development for dependently typed languages. Notable contributions include frameworks for resource-dependent DSLs and type-level property-based testing. Brady has led projects such as the EPSRC-funded 'Type-Driven Verification of Communicating Systems' and contributed to the EU-funded ADVANCE initiative on concurrency engineering.
- Research Interests: Dependent types, functional programming, program verification, DSLs, compilers.
- Tools Developed: Idris programming language, type-level testing frameworks.
- Professional Activities: Organized Doors Open @ Computer Science events (2023–2025), presented at Lambda World and Idris workshops.
His publications emphasize practical applications of type theory to ensure correctness in concurrent systems, session protocols, and refactoring tools. Brady’s work bridges theoretical foundations with real-world software development challenges.
