Past Research
We list former/inactive projects in rough chronological order.
Real World Formal Models for Pure Functional Programming
Malcolm Dowse and Andrew Butterfield (PI) 2002-2006 EI SC-2002-283
Aim: explore semantics models for reasoning about I/O in pure functional programming languages like Haskell and Clean. The project culminated in the development of a semantic framework called CurIO, developed using Clean's inbuilt theorem prover Sparkle, that explored the limits of deterministic concurrent I/O.
Formal Aspects of CORBA Systems (FACS)
Alexis Donnelly (PI), Andrew Butterfield, Hugh Gibbons and Malcom Tyrrell 1997-2001 EI
Exploring formal models of part of the OMG Common Object Request Broker Architecture (CORBA).
TITLE
Researchers (one marked as the PI) duration funding
Descriptive paragraph
