Trinity College Dublin

Computer Science Department > Andrew Butterfield

Research

Dr. Andrew BUTTERFIELD
Lecturer, School of Computer Science and Statistics ,
Trinity College, University of Dublin,
Head of Foundations and Methods Group
lero: the Irish Software Research Centre

NEW (24/11/2011): 18month postdoc position in O/S kernel formal verification, funded by the European Space Agency (ESA).

Research

I am the principal investigator for the SFI-funded research projects Unifying Synchronous Systems and Formalising Interfaces between Software and Hardware.

I am the group leader of the Foundations & Methods Group.

My key areas of interest are Formal Methods and Functional Languages. Current research activities include:

Implementing a Theorem Proving Assistant for UTP in Haskell.
Formal models of NAND Flash memory based on the ONFI standard, for use in verified file-stores for mission-critical data storage applications.
Part of a case-study for GC6: Dependable Systems Evolution .
Extensions to the Unifying Theories of Programming (UTP) to cater for synchronously clocked hardware systems.
Formal aspects of functional languages, with emphasis on I/O behaviour
Formal Semantics for the Handel-C hardware programming language (in collaboration with Jim Woodcock ).
Synchronous Circus (also in collaboration with Jim Woodcock ).
Adding unbounded demonic and angelic non-determinism to deterministic semantic theories (in collaboration with Joseph Morris ).
The "Irish School of VDM", a functional dialect of VDM developed here at TCD.

Past Activities

I was involved in the following projects:

Formal Models of External I/O for Pure Lazy Functional Languages (funded by Enterprise Ireland SC-2002-283).
Enterprise Ireland funded Formal Aspects of CORBA project
EU funded HCM project "DeStijl".

Community

I am currently on the programme committees of: SBMF 2010 , GCVS 2010 , ICTAC 2010 . Please consider submitting a paper to these.

I have have served on the following programme committees: IWFM97-01, NFWM, FMICS, FM99, IFL (co-Chair, 05,06), TFP, UTP, ICTAC07, ICFEM, SBMF. UTP08, Ireland (as Chair)

I was active in the Irish Formal Methods Special Interest Group IFMSIG), a programme committee member and former co-chair for IWFM and a maintainer of the IFMSIG mailing lists. I am also a member of the Irish Mathematical Society.

I also assist in organising the occaisional/annual Trinity Week Academic Symposium,

I am also a founder-member and director of the Skrabanek Foundation, named after the late Petr. Skrabanek of Trinity College, and dedicated, like his life, to the encouragement of enquiring and sceptical minds, particulary in so far as medical science is concerned.

Teaching

Current Teaching:

In the past I have taught:

MM101: Introduction to Programming
NDS105-II: Concurrency Theory
4ICT8: System Modelling and Specification
3BA4-II: VLSI Design
1ICT4 Computer Technology
2BA4-I Microprocessor Design
2BA5 Digital Electronics
3BA1-II: Numerical Methods

Administration

Current:

co-Director (TCD), Lero Graduate Programme (School) in Software Engineering
Final Year Undergraduate Project Coordinator

Past:

Academic Representative, Library Management System Steering Committee.
Chair, Trinity Week Academic Symposium.
Statutory member of the Board of Trinity College Dublin, September 2005-September 2008.
- Board member of the Information Policy Committee.
- Chair, Code of Governance Working Group.
Course Director, BA (Mod.) Information \& Communications Technology, September 2000-September 2006.

Other Activites

In my leisure time I engage in Orienteering (Irish Orienteering Association, GEN, DUO), Rock-Climbing (Irish Mountaineering Club), and reading.

Location: F.13, O'Reilly Institute, Trinity College, Dublin 2, Ireland.
Telephone: +353-1-896-2517
Fax: +353-1-677-2204
Email: "Andrew" followed by dot, followed by "Butterfield" at the department "scss" in (dot) the institution "tcd.ie".

This page was last udpated on Oct 24th 2011 by Andrew Butterfield.

WebAdmin @ cs.tcd.ie