Peter O'Hearn

Informaticien

Peter William O'Hearn, né le à Halifax (Nouvelle-Écosse, Canada), est un informaticien travaillant au Royaume-Uni[1].

Peter W. O'Hearn
Description de l'image Peter O'Hearn.jpg.

Naissance (61 ans)
Halifax, Nouvelle Écosse, Canada
Nationalité canadien
Domaines Informatique
Institutions Facebook, London, UK
University College London, UK
Queen Mary, University of London, UK
Formation Dalhousie University, Halifax, Canada
Queen's University, Kingston, Canada
Directeur de thèse Robert D. Tennent
Renommé pour Logique de séparation
Distinctions prix Gödel 2016
Site www0.cs.ucl.ac.uk/staff/p.ohearn

Carrière

modifier

Peter O'Hearn a obtenu un baccalauréat en informatique à l'Université Dalhousie à Halifax (1985), suivi d'une maîtrise en sciences (1987) et d'un Ph. D. (1991) à l'université Queen's, à Kingston (Ontario), Ontario au Canada. Sa thèse était intitulée Semantics of noninterference: A natural approach et dirigée par Robert D. Tennent[1],[2].

O'Hearn était professeur assistant à l'Université de Syracuse de New York de 1990 à 1995, lecteur en informatique à la Queen Mary University of London de 1996 à 1999, et professeur titulaire à cette université jusqu'à son passage à l'University College de Londres. En 1997, il a été chercheur invité à l'Université de Carnegie Mellon et en 2006, il a été chercheur invité à Microsoft Research Cambridge[1].

À la suite de l'acquisition de la startup Monoidics, dont il est l'un des cofondateurs, O'Hearn travaille actuellement pour Facebook à Londres[3].

Prix et distinctions

modifier

Il a été le récipiendaire du prix du Mérite de la recherche la Société royale Wolfson, d'un des prix du Most Influential POPL Paper de 2001[4], et du prix de la Royal Academy of Engineering/Chaire Microsoft de Recherche[5].

O'Hearn est récipiendaire, avec Stephen Brookes de Carnegie Mellon University du Prix Gödel 2016 pour l'invention de la logique de séparation concurrente[6].

Recherche

modifier

O'Hearn a fait d'importantes contributions aux méthodes formelles en général et à la logique de séparation en particulier. L'article qui lui a valu le prix Gödel 2016 est :

  • Peter W. O’Hearn, « Resources, Concurrency, and Local Reasoning », Theoretical Computer Science, vol. 375, nos 1-3,‎ , p. 271-307.

Le corécipiendaire est distingué pour l’article[6] :

  • Stephen Brookes, « A Semantics for Concurrent Separation Logic », Theoretical Computer Science, vol. 375, nos 1-3,‎ , p. 227-270.

Ses travaux, et l'impact qu'ils ont eu, font l'objet d'un article écrit en commun avec Stephen D. Brookes paru dans les SIGACT News de 2016[7].

Publications

modifier
  • Olivier Danvy, Peter O’Hearn et Philip Wadler (éditeurs), « Festschrift for John C. Reynolds's 70th Birthday », Theoretical Computer Science, vol. 375, nos 1-3,‎ , p. 1-350 (DOI 10.1016/j.tcs.2006.12.024). — Préface p. 1-2.

Notes et références

modifier
  1. a b et c Peter W. O'Hearn, Curriculum Vitae « Copie archivée » (version du sur Internet Archive), Queen Mary University of London.
  2. (en) « Peter O'Hearn », sur le site du Mathematics Genealogy Project.
  3. Facebook acquires assets of Monoidics.
  4. Computer Science professor wins prestigious award sur Queen Mary University of London
  5. http://www.raeng.org.uk/publications/newsletters/spring-newsletter-2012 Royal Academy News Spring 2012, page 6
  6. a et b 2016 Gödel Prize.
  7. Stephen Brookes et Peter O’Hearn, « Concurrent separation logic », ACM SIGLOG News archive, vol. 3, no 3,‎ , p. 47-65 (DOI 10.1145/2984450.2984457).

Liens externes

modifier