4 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:
Dr
KY16 9SS
United Kingdom
Accepting Postgraduate Research Students
PhD projects
Types; programming languages; DSLs; verification; compilers; theorem proving; functional programming; program generation; dependent types