Andrew Butterfield

Dr. Andrew Butterfield is a faculty member at the School of Computer Science and Statistics, Trinity College Dublin. He serves as Head of the Foundations and Methods Group and actively contributes to Lero: the Irish Software Research Centre. His research focuses on Formal Methods and Functional Programming, particularly the Unifying Theories of Programming (UTP) paradigm, with applications in clinical pathways, medical device software, and spacecraft operating systems.

Current research includes developing UTP theories for shared-variable concurrency, rely/guarantee reasoning, and separation logic in collaboration with Jim Woodcock. He also explores Process Modelling Language (PML) semantics with John Noll and Anila Mjeda. His contributions feature proof-assistance tools like UTP2 Theorem Prover, UTP Calculator, and ReasonEq implemented in Haskell.

Andrew leads funded projects such as ESA's RTEMS-SMP (2019) and SFI's FMHIDA (2016-2020). Past projects encompass formal verification of separation kernels, Handel-C language semantics, and NAND flash memory models. He has taught courses in Formal Methods, Functional Programming, and Concurrency, while serving on editorial and program committees including Formal Aspects of Computing.