Peter Sewell

Funding

• Semantic Foundations for Real-World Systems. EPSRC Leadership Fellowship EP/H005633/1. 2009-2014.
• Reasoning with Relaxed Memory Models . EPRSC grant EP/F036345. 2008-2012. Sewell, Parkinson, Fraser, Zappa Nardelli, Sarkar
• NETSEM: Rigorous Semantics for Real Systems . EPRSC grant EP/C510712. 2005-2008. Sewell, Wansbrough, Gibbens, Norrish.
• Naming, Distribution, and Versioning: Programming Language Design and Implementation . EPRSC grant GR/T11715. 2005-2007. Sewell, Pitts, Wansbrough.
• PEPITO: Peer-to-Peer Computing: Implementation and Theory. EC Global Computing project. 2001-2005.
• Wide-area programming: Language, Semantics and Infrastructure Design. EPRSC grant GR/N24872. 2000-2003. Sewell, Milner, Leifer.
• Foundations of Distributed Programming: Wide-Area Systems and Semantics. Royal Society University Research Fellowship 1999-2007.
• Calculi for Interactive Systems: Theory and Experiment. EPSRC grant 1998-2001. Gardner, Milner, Sewell.
• CONFER 2 - Concurrency and Functions: Evaluation and Reduction. ESPRIT Working Group 1997-2000.