Edwin Brady

Registered user since Mon 13 Jun 2016

Name:Edwin Brady
Bio:

Reader in Computer Science at the University of St Andrews

Country:United Kingdom
Affiliation:University of St Andrews, UK
Research interests:Type-driven Development, Linear Types, Program Synthesis, Domain Specific Languages

Contributions

PEPM 2023 Session Chair of 2 online talks (part of PEPM 2023)
PC Chair in Organizing Committee within the PEPM 2023-track
Wrap up
Show activities from other conferences

POPL 2023-profile
View general profile