Scott Owens' Affiliations
- TSG Group
- - Alan Mycroft
  - Andrew Pitts
  - Anuj Dawar
  - Gilles Peskine
  - Glynn Winskel
  - Larry Paulson
  - Marcelo Fiore
  - Martin Richards
  - Matthew Parkinson
  - Mike Gordon
  - Peter Sewell
  - Robin Milner
  - Sam Staton
  - Samy Abbes
  - Scott Owens
  - Susmit Sarkar
  - Tim Griffin
  - Tom Ridge

Research

(Analysis last run in January 2008)

2005--2007: 'higher order logic'; 'encryption algorithms'; 'functional correctness proofs'; 'higher-order logic'; 'working semanticist'; 'core language'; 'automatic formal synthesis'; 'effective tool support'; 'syntactic abstraction'; 'proof-producing compiler'; 'type soundness'; 'component interfaces';

2000--2004: 'preliminary design'; 'parser generators';

Related People

Joe Hurd [ ARG ]:
- 'encryption algorithms'; 'formal approach'; 'higher order logic';
Gilles Peskine [ TSG ]:
- 'core language'; 'effective tool support'; 'type soundness'; 'working semanticist';
Mike Gordon [ TSG ][ ARG ]:
- 'automatic formal synthesis'; 'higher order logic';
Peter Sewell [ TSG ]:
- 'core design'; 'effective tool support';
Alan Mycroft [ TSG ][ CPRG ][ CAG ]:
- 'functional language specifications'; 'type inferencing';
Tom Ridge [ TSG ]:
- 'effective tool support'; 'working semanticist';
Susmit Sarkar [ TSG ]:
- 'effective tool support'; 'working semanticist';

Disclaimer: All content has been generated automatically by a program running on the titles of publications extracted from people's webpages.
©2007 Advaith Siddharthan, Computer Laboratory, University of Cambridge. Please send any comments on this page to as372@cl.cam.ac.uk