EVCS (series) / Edwin Brady
![Edwin Brady](https://symposium.eelcovisser.org/getProfileImage/edwinbrady/7c2a811f-6a0d-4727-8a0d-bd93ac142845/small.jpg?1711514094000)
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
Personal website: https://www.type-driven.org.uk/edwinb
X (Twitter): https://x.com/edwinbrady
GitHub: https://github.com/edwinb
Research interests:Type-driven Development, Linear Types, Program Synthesis, Domain Specific Languages
Contributions
2023
EVCS-profile
View general profile
View general profile