Senior participants

Rob Arthan            Richard Banach        Nick Benton           Michael Butler        
Amine Chaieb          Rod Chapman           Robert Dewar          Dino Distefano        
Mike Dodds            John Fitzgerald       Anthony Fox           Leo Freitas           
Georges Gonthier      Andy Gordon           Mike Gordon           Lilia Georgieva       
Michael Hicks         Tony Hoare            Tom In der Rieden     Andrew Ireland        
Paul Jackson          Jan Jurjens           Matt Kaufmann         Daniel Kroening       
Ewen Maclean          Tom Melham            Aybek Mukhamedov      Joel Ouaknine         
Colin O'Halloran      Peter O'Hearn         Scott Owens           Michał Moskal         
Matthew Parkinson     Rasmus Petersen       Larry Paulson         Thomas Ridge          
Noam Rinetzky         John Rushby           Thomas Santen         Susmit Sarkar         
Peter Sewell          Stephen Thiselton     Thomas Wahl           Tjark Weber           
Jim Woodcock          Hongseok Yang

Students

Mihhail Aizatulin     Gérard Basler         Peter Boehm           Yury Chebiryak
Vijay D'Silva         Francois Dupressoir   Alexey Gotsman        Gudmund Grov          
Ianthe Hind           Eric Koskinen         Teresa Llano          Issam Maamria         
Lionel Montrieux      Magnus Myreen         Grant Olney Passmore  Alfredo Pironti       
Nikolai Sultana       Frank Theiss          Thomas Tuerk          Georg Weissenbacher   
John Wickerson        Yichi Zhang

Affiliation and contact details

NAME: Mihhail Aizatulin
AFFILIATION: Open University/Microsoft Research
EMAIL: avatar AT hot DOT ee

NAME: Rob Arthan 
AFFILIATION: Lemma 1 Ltd
EMAIL: rda AT lemma-one DOT com 

NAME: Richard Banach
AFFILIATION: University of Manchester
EMAIL: banach AT cs DOT man DOT ac DOT uk

NAME: Gerard Basler
AFFILIATION: ETH Zurich
EMAIL: gerard DOT basler AT inf DOT ethz DOT ch

NAME: Nick Benton
AFFILIATION: Microsoft Research
EMAIL: nick AT microsoft DOT com

NAME: Peter Boehm
AFFILIATION: Oxford University
EMAIL: peter DOT boehm AT comlab DOT ox DOT ac DOT uk

NAME: Michael Butler
AFFILIATION: University of Southampton
EMAIL: mjb AT ecs DOT soton DOT ac DOT uk

NAME: Amine Chaieb
AFFILIATION: University of Cambridge
EMAIL: ac638 AT cam DOT ac DOT uk

NAME: Rod Chapman
AFFILIATION: Praxis High Integrity Systems
EMAIL: rod DOT chapman AT praxis-his DOT com

NAME: Yury Chebiryak
AFFILIATION: ETH Zurich
EMAIL: yury DOT chebiryak AT inf DOT ethz DOT ch

NAME: Robert Dewar
AFFILIATION: New York University/AdaCore
EMAIL: dewar AT adacore DOT com

NAME: Dino Distefano 
AFFILIATION: Queen Mary University of London
EMAIL: ddino AT dcs DOT qmul DOT ac DOT uk

NAME: Mike Dodds
AFFILIATION: University of Cambridge
EMAIL: Michael DOT Dodds AT cl DOT cam DOT ac DOT uk

NAME: Vijay V. D'Silva  
AFFILIATION: Oxford University
EMAIL: vijay DOT dsilva AT comlab DOT ox DOT ac DOT uk  

NAME: Francois Dupressoir
AFFILIATION: Open University/MSR
EMAIL: f DOT s DOT p DOT dupressoir AT open DOT ac DOT uk

NAME: John Fitzgerald
AFFILIATION: Newcastle University
EMAIL: John DOT Fitzgerald AT ncl DOT ac DOT uk

NAME: Anthony Fox
AFFILIATION: University of Cambridge
EMAIL: Anthony DOT Fox AT cl DOT cam DOT ac DOT uk

NAME: Leo Freitas
AFFILIATION: University of York
EMAIL: leo AT cs DOT york DOT ac DOT uk

NAME: Georges Gonthier
AFFILIATION: Microsoft Research
EMAIL: gonthier AT microsoft DOT com
       
NAME: Lilia Georgieva
AFFILIATION: Heriot-Watt University
EMAIL: lilia AT macs DOT hw DOT ac DOT uk 

NAME: Andy Gordon
AFFILIATION: Microsoft Research
EMAIL: adg AT microsoft DOT com

NAME: Mike Gordon
AFFILIATION: University of Cambridge
EMAIL: Mike DOT Gordon AT cl DOT cam DOT ac DOT uk

NAME: Alexey Gotsman
AFFILIATION: University of Cambridge
EMAIL: Alexey DOT Gotsman AT cl DOT cam DOT ac DOT uk

NAME: Gudmund Grov
AFFILIATION: Heriot-Watt University
EMAIL: G DOT Grov AT hw DOT ac DOT uk

NAME: Michael Hicks
AFFILIATION: University of Maryland/Microsoft Research
EMAIL: t-mhicks AT microsoft DOT com

NAME: Ianthe Hind
AFFILIATION: Heriot-Watt University
EMAIL: isah1 AT macs DOT hw DOT ac DOT uk

NAME: Tony Hoare 
AFFILIATION: Microsoft Research
EMAIL: thoare AT microsoft DOT com

NAME: Tom In der Rieden
AFFILIATION: Saarland University
EMAIL: tom AT inderrieden DOT de

NAME: Andrew Ireland
AFFILIATION: Heriot-Watt University
EMAIL: a DOT ireland AT hw DOT ac DOT uk

NAME: Paul Jackson
AFFILIATION: University of Edinburgh
EMAIL: Paul DOT Jackson AT ed DOT ac DOT uk

NAME: Jan Jurjens 
AFFILIATION: Open University and MSRC 
EMAIL: J DOT Jurjens AT open DOT ac DOT uk

NAME: Matt Kaufmann
AFFILIATION: University of Texas at Austin
EMAIL: kaufmann AT cs DOT utexas DOT edu

NAME: Eric Koskinen
AFFILIATION: University of Cambridge
EMAIL: ejk39 AT cl DOT cam DOT ac DOT uk

NAME: Daniel Kroening
AFFILIATION: Oxford University
EMAIL: kroening AT comlab DOT ox DOT ac DOT uk

NAME: Teresa Llano
AFFILIATION: Heriot-Watt University
EMAIL: mtl4 AT hw DOT ac DOT uk

NAME: Issam Maamria
AFFILIATION: Southampton University 
EMAIL: IM06R AT ECS DOT SOTON DOT AC DOT UK

NAME: Ewen Maclean
AFFILIATION: Heriot-Watt University
EMAIL: eahm2 AT macs DOT hw DOT ac DOT uk

NAME: Tom Melham
AFFILIATION: Oxford University
EMAIL: melham AT comlab DOT ox DOT ac DOT uk

NAME: Lionel Montrieux 
AFFILIATION: University of Namur 
EMAIL: lmontrie AT info DOT fundp DOT ac DOT be 

NAME: Michal Moskal
AFFILIATION: European Microsoft Innovation Center
EMAIL: micmo AT microsoft DOT com

NAME: Aybek Mukhamedov
AFFILIATION: University of Birmingham/Microsoft Research
EMAIL: t-aymukh AT microsoft DOT com

NAME: Magnus Myreen
AFFILIATION: University of Cambridge
EMAIL: magnus DOT myreen AT cl DOT cam DOT ac DOT uk

NAME: Colin O'Halloran
AFFILIATION: QinetiQ
Email: cmohalloran AT qinetiq DOT com

NAME: Peter O'Hearn
AFFILIATION: Queen Mary, University of London
EMAIL: ohearn AT dcs DOT qmul DOT ac DOT uk

NAME: Joel Ouaknine
AFFILIATION: Oxford University
EMAIL: joel AT comlab DOT ox DOT ac DOT uk

NAME: Scott Owens
AFFILIATION: University of Cambridge
EMAIL: Scott DOT Owens AT cl DOT cam DOT ac DOT uk

NAME: Matthew Parkinson
AFFILIATION: University of Cambridge
EMAIL: Matthew DOT Parkinson AT cl DOT cam DOT ac DOT uk

NAME: Grant Olney Passmore
AFFILIATION: University of Edinburgh
EMAIL: G DOT Passmore AT ed DOT ac DOT uk

NAME: Lawrence Paulson
AFFILIATION: University of Cambridge
EMAIL: Larry DOT Paulson AT cl DOT cam DOT ac DOT uk

NAME: Rasmus Lerchedahl Petersen
AFFILIATION: Queen Mary, University of London
EMAIL: rusmus AT dcs DOT qmul DOT ac DOT uk (this one)

NAME: Alfredo Pironti 
AFFILIATION: Open University and Politecnico di Torino 
EMAIL: alfredo DOT pironti AT polito DOT it

NAME: Tom Ridge
AFFILIATION: University of Cambridge
EMAIL: Thomas DOT Ridge AT cl DOT cam DOT ac DOT uk

NAME: Noam Rinetzky
AFFILIATION: Queen Mary, University of London
EMAIL: maon AT dcs DOT qmul DOT ac DOT uk

NAME: John Rushby
AFFILIATION: SRI International
EMAIL: Rushby AT csl DOT sri DOT com

NAME: Thomas Santen
AFFILIATION: European Microsoft Innovation Center
EMAIL: Thomas DOT Santen AT microsoft DOT com

NAME: Susmit Sarkar
AFFILIATION: University of Cambridge
EMAIL: susmit DOT sarkar AT cl DOT cam DOT ac DOT uk

NAME: Peter Sewell
AFFILIATION: University of Cambridge
EMAIL: Peter DOT Sewell AT cl DOT cam DOT ac DOT uk

NAME: Nik Sultana
AFFILIATION: Computer Lab, Cambridge University
EMAIL: Nikolai DOT Sultana AT cl DOT cam DOT ac DOT uk

NAME: Frank Theiss
AFFILIATION: Universitaet des Saarlandes
EMAIL: frank AT boldsolutions DOT de

NAME: Stephen Thiselton
AFFILIATION: CESG
EMAIL: Stephen DOT Thiselton AT cesg DOT gsi DOT gov DOT uk

NAME: Thomas Tuerk
AFFILIATION: University of Cambridge
EMAIL: tt291 AT cl DOT cam DOT ac DOT uk

NAME: Thomas Wahl
AFFILIATION: Oxford University
EMAIL: wahl AT comlab DOT ox DOT ac DOT uk

NAME: Tjark Weber
AFFILIATION: Radboud University Nijmegen/University of Cambridge
EMAIL: tjark DOT weber AT gmx DOT de

NAME: Georg Weissenbacher
AFFILIATION: Oxford University/ETH Zurich
EMAIL: georg DOT weissenbacher AT magd DOT ox DOT ac DOT uk

NAME: John Wickerson
AFFILIATION: University of Cambridge
EMAIL: jpw48 AT cam DOT ac DOT uk

NAME: Jim Woodcock  
AFFILIATION: University of York
EMAIL: jim AT cs DOT york DOT ac DOT uk 

NAME: Hongseok Yang
AFFILIATION: Queen Mary, University of London
EMAIL: hyang AT dcs DOT qmul DOT ac DOT uk

NAME: Yichi Zhang
AFFILIATION: University of Cambridge
EMAIL: Yichi DOT Zhang AT cl DOT cam DOT ac DOT uk

Note: a few of those listed here didn't make it to the workshop due to illness, cancelled flights etc.


Maintained by Mike Gordon.
Last updated: Wed Dec 10, 2008