Dr Michael Goldsmith

Formal Systems (Europe) Ltd
Keble Court
26 Temple Street
Oxford
OX4 1JS

+44 (0)1865 728460

michael@fsel.com
 

Prof. Marta Kwiatkowska

School of Computer Science
University of Birmingham
Edgbaston
Birmingham
B15 2TT

+44 (0)121 4147264

mzk@cs.bham.ac.uk
 

Dr Gavin Lowe

Oxford University Computing Laboratory
Wolfson Building
Parks Road
Oxford
OX1 3QD

+44 (0)1865 273841

gavin.lowe@comlab.ox.ac.uk
 

Dr. Sadie Creese

Systems Assurance Group
QinetiQ Trusted Information Management, KI Systems
WWA109, QinetiQ, St Andrews Rd, Malvern, Worcs, WR14 3PS, UK

 +44 (0)1684 89 7289

screese@qinetiq.com