Skip to content

Research at St Andrews

Edwin Charles Brady

Person

Edwin Charles Brady
Postal address:
School of Computer Science
North Haugh
St Andrews
Fife
United Kingdom

Email: ecb10@st-andrews.ac.uk

Direct phone: +44 (0)1334 463271

PhD research projects available

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

Discover related content
Find related publications, people, projects and more using interactive charts.

View graph of relations
Top