Skip to main content »

Trinity College Dublin

Dublin University Crest Computer Science Department > Andrew Butterfield Trinity College Crest
Lecturer, School of Computer Science and Statistics ,
Trinity College, University of Dublin,
Head of Foundations and Methods Group
lero: the Irish Software Research Centre

| Research | Community | Teaching | Administration | Other Activities |


I am the principal investigator for the SFI-funded research projects Unifying Synchronous Systems and Formalising Interfaces between Software and Hardware as well as leading an ESA-funded activity on O/S kernel formal verification.

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:



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".


I am currently on the programme committees of: FM2016 , UTP 2016 ,TASE 2016 . and co-Chair (with Matteo Rossi) of the FM2016 Doctoral Symposium

I have have served on the following programme committees: IWFM, NFWM, FMICS, FM, IFL, TFP, UTP, ICTAC, ICFEM, SBMF, among others.

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 used to 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.


Current Teaching: In the past I have taught:


  • School Disability Liaison Officer
  • Course Director: Creative and Cultural Entrepreneurship
  • Director of Undergraduate Teaching and Learning, School of Computer Science and Statistics
  • co-Director (TCD), Lero Graduate Programme (School) in Software Engineering
  • Final Year Undergraduate Project Coordinator
  • 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: G.39, 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 "".

This page was last udpated on Sep 26th 2016 by Andrew Butterfield.

Email  WebAdmin @