|Computer Science Department > Andrew Butterfield|
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 ActivitiesI was involved in the following projects:
I am currently on the programme committees of: SBMF 2012 , FM2012 , UTP 2012 . 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.
Irish Orienteering Association, GEN, DUO), Rock-Climbing (Irish Mountaineering Club), and reading.
Location: F.13, O'Reilly Institute, Trinity College, Dublin 2, Ireland.
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|