Edwin Charles Brady - Projects - University of St Andrews Research Portal

View Scopus Profile

Phone+44 (0)1334 463271
Emailecb10st-andrews.acuk

KY16 9SS
United Kingdom

Accepting Postgraduate Research Students

PhD projects

Types; programming languages; DSLs; verification; compilers; theorem proving; functional programming; program generation; dependent types

2 results

Finished
Type-Driven Verification of Communic: Type-driven verification of communicating systems
Brady, E. C. (PI)
EPSRC
1/05/16 → 30/04/17
Project: Standard
FP7 ADVANCE: EU FP7 'Asynchronous and Dynamic Virtualisation through performance Analysis to support Concurrency Engineering 'ADVANCE'
Hammond, K. (PI) & Brady, E. C. (CoI)
European Commission
1/02/10 → 30/09/13
Project: Standard