Edwin Charles Brady

View Scopus Profile

Edwin Charles Brady

Dr

 https://orcid.org/0000-0002-9734-367X

  • KY16 9SS

    United Kingdom

Accepting Postgraduate Research Students

PhD projects

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

Fingerprint

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