Edwin Charles Brady
Dr
- 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