Personal information

Emails & domains

Verified email addresses

Verified email domains

Websites & social links

Home page at Trinity College Dublin
Github page
Bitbucket Page

Other IDs

Scopus Author ID: 8973241000

Keywords

Formal Semantics, Methods and Verification, Functional Programming

Countries

Ireland

Activities

Collapse all

Employment (1)

Trinity College Dublin: Dublin, IE

1992-01-01 to present | Lecturer (Computer Science)
Employment
Source: Self-asserted source
Andrew Butterfield

Education and qualifications (2)

Trinity College Dublin: Dublin, IE

1983-10-01 to 1990-09-30 | PhD (Computer Science)
Education
Source: Self-asserted source
Andrew Butterfield

Trinity College Dublin: Dublin, IE

1979-10-01 to 1983-06-31 | BAI Engineering (Engineering)
Education
Source: Self-asserted source
Andrew Butterfield

Funding (2)

Formalising the Software/Hardware Interface

2008-09-01 to 2012-09-30 | Grant
Science Foundation Ireland (Dublin, IE)
URL: https://grants.uberresearch.com/501100001602/08/RFP/CMS1277/Formalising-the-Software-Hardware-Interface
GRANT_NUMBER:

08/RFP/CMS1277
Source: Self-asserted source
Andrew Butterfield via DimensionsWizard

We propose to develop a theoretical framework that captures the formal semantics of hardware compilation languages at a variety of levels, giving designers control over outcome complexity and efficiency.

Source: Self-asserted source
Andrew Butterfield via DimensionsWizard

Peer review (2 reviews for 1 publication/grant)

Review activity for Formal aspects of computing. (2)
How many people are using ORCID?