• KY16 9SS

    United Kingdom

Accepting Postgraduate Research Students

PhD projects

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

6 Similar Profiles

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