Viktor Vafeiadis' Affiliations
- CPRG Group
- - Alan Lawrence
  - Alan Mycroft
  - Anton Lokhmotov
  - Arthur Norman
  - Benjamin Rudiak-Gould
  - Boris Feigin
  - Charuwalee Huadmai
  - Cosmin Oancea
  - Dana Xu
  - Mark Adcock
  - Martin Richards
  - Martin Vechev
  - Peter Buchlovsky
  - Richard Thrippleton
  - Silvia Breu
  - Sofiane Naci
  - Tim Griffin
  - Tom Stuart
  - Umar Janjua
  - Viktor Vafeiadis

Research

(Analysis last run in January 2008)

2005--2007: 'separation logic'; 'lock-free algorithms'; 'acute} systems'; 'lazy concurrent list-based set implementation'; 'highly-concurrent linearisable objects'; 'source release'; 'safety proof';

2000--2004: 'distributed computation'; 'programming language design'; 'language definition';

Related People

Peter Sewell [ TSG ]:
- 'distributed computation'; 'source release';
Matthew Parkinson [ TSG ]:
- 'modular safety'; 'semantic definition'; 'separation logic';
Glynn Winskel [ TSG ]:
- 'distributed probabilities'; 'separation logic';
Larry Paulson [ Security ][ TSG ][ ARG ]:
- 'interactive proof';
Alan Mycroft [ TSG ][ CPRG ][ CAG ]:
- 'safety violations';
Samy Abbes [ TSG ]:
- 'distributed estimation';
Joe Hurd [ ARG ]:
- 'logic variables'; 'proof pearl';

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