Industrial Collaboration

  • Microsoft Research, Redmond, WA, USA, Gratis Visitor to Microsoft Research in 2008 to prepare a tutorial on the Spec# Programming System for presentation at ETAPS 2008, to develop material for the MSc curriculum in Computer Science and to further ongoing research collaboration.


  • Trampower UK, We apply reverse-engineering techniques to an already existing tram control system, with the overall aim of verifying the correctness of its safety critical properties. We are developing tools to translate the control system from Programmable Logic to Event B.


  • Microsoft Research, Redmond, WA, USA, This research extended the Spec# programming system, increasing the categories of programs that this system could verify using the SMT solvers Simplify and Z3. In particular, we focused on extending the system so that it could be used with typical examples used in program verification


  • Escher Technologies, UK Review of the support for Refinement within the Perfect language and Perfect Developer Toolset (2003-2006)


  • Hewlett Packard, Systems Research Labs, Palo Alto, Collaboration on Programming Language Design (2003)