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 PC Chair in Organizing Committee within the PEPM 2023-track
Show activities from other conferences

Using general profile