Andrew Butterfield
two funded projects running at present, funded by SFI, collaboratring with Jim Woodcock at York: looking at theories of timing and probabilisitic aspects of systems across the software/hardware interface. Using the "Unifying Theories of Programming" (UTP) frameowrk to assist.
currently teaching this stuff in a 3rd year elective: 3BA31 Formal Methods
Phone: +353-1-896-2517
Address: School of Computer Science & Statistics
O'Reilly Institute,
Trinity College,
Dublin 2,
Rep. of Ireland
currently teaching this stuff in a 3rd year elective: 3BA31 Formal Methods
Phone: +353-1-896-2517
Address: School of Computer Science & Statistics
O'Reilly Institute,
Trinity College,
Dublin 2,
Rep. of Ireland
less
InterestsView All (11)
Uploads
Papers by Andrew Butterfield