tcd logo Dr. Andrew BUTTERFIELD
School of Computer Science and Statistics ,
Trinity College, the University of Dublin ,
Head of Foundations and Methods Group
Lero: the Irish Software Research Centre
twitter: @AndrewButterfi9
github: andrewbutterfield
bitbucket: andrewbutterfield
recent photo

Vacancies: Research Fellowship in Formal Methods for RTEMS-SMP Q4 2019,

Research

My key areas of interest are Formal Methods and Functional Languages. In particular my research focusses on the development and use of the Unifying Theories of Programming (UTP) paradigm. Application areas include: clinical pathways; medical device software; and spacecraft operating systems.

Current research explorations include:

I am actively involved in Lero: the Irish Software Research Centre .

Current Projects

RTEMS-SMP

Formal verification of multicore real-time scheduling. Funded by ESA (2yrs, started Feb 2019).

FMHIDA

Investigating formal techniques for medical device software development. Funded by SFI through Lero, Hub A (Ongoing, 2016-2020)

Publications

?-Challenges

Past Activities

I was involved in the following projects:

Community

I am on the Editorial Board of Formal Aspects of Computing

I am currently on the programme committee of: TASE 2019.

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 was also a member of the Irish Mathematical Society.

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

I was 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:

Administration

Current: Past:

Other Activites

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