Skip to main navigation Skip to search Skip to main content
Edwin Brady

View Scopus Profile

Edwin 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

5 Similar Profiles

Similarity is based on overlapping concepts in the fingerprints, and shared work and organisational affiliations of Edwin Brady with the persons below:
Sort by