Peter O'Hearn

Peter W. O'Hearn Beskrivelse av bildet Peter O'Hearn.jpg. Nøkkeldata
Fødsel 13. juli 1963
Halifax, Nova Scotia, Canada
Nasjonalitet Kanadisk
Områder Informatikk
Institusjoner Facebook, London, UK
University College London , UK
Queen Mary, University of London , UK
Opplæring Dalhousie University , Halifax, Canada
Queen's University , Kingston, Canada
Kjent for Separasjonslogikk
Utmerkelser Gödel-prisen 2016

Peter William O'Hearn , født den13. juli 1963i Halifax ( Nova Scotia , Canada), er en datavitenskapsmann som jobber i Storbritannia.

Karriere

Peter O'Hearn fikk en BS i informatikk fra Dalhousie University i Halifax (1985), etterfulgt av en MSc (1987) og en doktorgrad  (1991) fra Queen's University , Kingston. (Ontario) , Ontario i Canada. Hans avhandling hadde tittelen Semantics of noninterference: A natural approach and supervised by Robert D. Tivez.

O'Hearn var assisterende professor ved Syracuse University i New York fra 1990 til 1995, dataleser til Queen Mary University i London fra 1996 til 1999, og professor ved universitetet til han flyttet til University College of London . I 1997 var han gjesteforsker ved Carnegie Mellon University, og i 2006 var han gjesteforsker ved Microsoft Research Cambridge .

Etter oppkjøpet av oppstarten Monoidics , som han er medstifter av, jobber O'Hearn for tiden for Facebook i London.

Priser og anerkjennelse

Han mottok Royal Wolfson Society's Research Merit Award, en av 2001s mest innflytelsesrike POPL Paper-priser , og Royal Academy of Engineering / Microsoft Research Chair-prisen.

O'Hearn er mottaker, sammen med Stephen Brookes fra Carnegie Mellon University, av Gödel-prisen 2016 for oppfinnelsen av den samtidige separasjonslogikken.

Undersøkelser

O'Hearn ga viktige bidrag til formelle metoder generelt og til separasjonslogikken spesielt. Artikkelen som vant Gödel-prisen 2016 er:

Medmottakeren er preget av artikkelen:

Hans arbeid, og effekten det har hatt, er gjenstand for en artikkel skrevet sammen med Stephen W. Brookes i 2016 SIGACT News.

Publikasjoner

Merknader og referanser

  1. Peter W. O'Hearn, Curriculum Vitae "Archived Copy" ( Internet Archive versjon 19. juli 2011 ) , [[Queen Mary University of London |]].
  2. (in) "  Peter O'Hearn  " på nettstedet til Mathematics Genealogy Project .
  3. Facebook kjøper eiendeler fra Monoidics .
  4. Informatikkprofessor vinner prestisjetung pris på Queen Mary University of London
  5. http://www.raeng.org.uk/publications/newsletters/spring-newsletter-2012 Royal Academy News Spring 2012, side 6
  6. 2016 Gödel-prisen .
  7. Stephen Brookes og Peter O'Hearn, "  Samtidig separasjonslogikk  ", ACM SIGLOG Nyhetsarkiv , vol.  3, n o  3, juli 2016, s.  47-65 ( DOI  10.1145 / 2984450.2984457 ).

Eksterne linker