York / Madrid / Santa Barbara / Austin / Paris / Philadelphia / Pittsburgh / Long Beach / Newcastle / Tallinn / Yorktown / Warsaw / New York / Venice / Zurich / Berlin / Rome / Saarbrucken / Cambridge / Beijing / Nashville / Melbourne / Snowbird / Sendai / London / San Diego / Chicago / Edinburgh / /
Company
Real-World Systems / CONCUR / Computer Laboratory / Interactive Systems / ESPRIT / Computer Software / Microsoft / Wide-Area Systems / /
Country
France / Finland / Germany / Italy / Sweden / United States / /
Currency
GBP / /
Facility
University of Cambridge Computer Laboratory / Wolfson College / Imperial College / UKAEA Culham laboratory July / University of Edinburgh / Oxford University / University of Cambridge Current Appointments / Carnegie Mellon University / University of Cambridge / EPSRC Peer Review College / /
IndustryTerm
area networking / connection-based anonymity systems / Internet Programming Languages / predictable dynamic software / lightweight tool / multi-core systems / Internet Network Management / software updating / communication infrastructure / real networking / /
NaturalFeature
Yorktown Heights / /
Organization
Program Committee / EPSRC Peer Review College / University of Cambridge Computer Laboratory / University of Edinburgh / Carnegie Mellon University / Pittsburgh / Oxford University / Swiss National Science Foundation / Committee Membership and Conference Organisation / POPL Steering Committee / External Review Committee / University of Cambridge Current Appointments / Imperial College / Wolfson College / EPSRC / Department of Computer Science / University of Cambridge / IEEE Computer Society / /
Person
Aaron Bohannon / Rajeev Alur / Thomas Braibant / Magnus O. Myreen / Grant Reviewing / Adam Biltcliffe / John Field / Paweł Wojciechowski / David Walker / Derek Williams / Dimitrios Vytiniotis / Benjamin C. Pierce / Iulian Neamtiu / Gareth Stoyle / Stephanie Weirich / Asis Unyapoth / Ursula Goltz / Pankaj Pawan / Matthew Parkinson / Tom Ridge / Peter Bohm / Mair Allen-Williams / Peter Michael Sewell / John Derrick / Rok Strni / Steve Zdancewic / Jan Vitek / Derek Dreyer / Anthony Fox / Sam Jansen / CASE / Mark Shinwell / Jaroslav Sev / Gilles Peskine / Matthew Fairbairn / Holger Hermanns / Moritz Y. Becker / Francesco Zappa Nardelli / Luc Maranget / Michael Hicks / Kayvan Memarian / Thomas Ridge / Kier Fraser / John Harrison / Jade Alglave / John Billings / Milo M. K. Martin / Colin Stirling / Andrew D. Gordon / Michael Norrish / Steven Bishop / Susmit Sarkar / Alan Jeffrey / Scott Owens / Tim Griffin / Paweł T. Wojciechowski / Luca Cattani / Viktor Vafeiadis / Tjark Weber / Richard Gibbens / James J. Leifer / Robert Harper / Suresh Jagannathan / Brian E. Aydemir / Pierre Habouzit / Andrew Pitts / Robin Milner / Keith Wansbrough / Michael Dales / Gavin Bierman / Mark Batty / Phil Wadler / Howard Bowman / Kathryn E. Gray / Roberto Giacobazzi / Philippa Gardner / Andrei Serjantov / Hans-Juergen Boehm / J. Nathan Foster / Michael Smith / Mooly Sagiv / Geoffrey Washburn / Gian Luca Cattani / Samin Ishtiaq / / /
Position
Professor of Computer Science Jan. / Assistant Scientific Officer / Research Associate / C. S. Pitcher / Professor / Director of Studies / rigorous and usable programmer / site leader / Principal Investigator / manager / program chair / co-investigator / Co-author / model for x86 multiprocessors / Research Associate / half time / Validation Assistant / Co-chair / Lecturer / Chair / University Lecturer / axiomatic memory model for POWER multiprocessors / Bishop / Professor of Computer Science / /
ProgrammingLanguage
Java / EC / XML / ML / C++ / /
ProvinceOrState
New York / Utah / Texas / /
PublishedMedium
Communications of the ACM / Theoretical Computer Science / /