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
github: andrewbutterfield
bitbucket: andrewbutterfield
recent photo

Page under refurbishment, last updated

Vacancy: funded PhD position Critical Software for Medical Devices

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. Current research activities include:

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

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

Vacancy: funded PhD position with Lero@TCD

Publications

?-Challenges

Past Activities

I was involved in the following projects:

Community

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.

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.