• KY16 9SS

    United Kingdom

Accepting Postgraduate Research Students

PhD projects

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


Dive into the research topics where Edwin Charles Brady is active. These topic labels come from the works of this person. Together they form a unique fingerprint.

Computer Science

Arts and Humanities