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)