Peter O'Hearn

Cet article est une ébauche concernant l’informatique théorique.

Vous pouvez partager vos connaissances en l’améliorant (comment ?) selon les recommandations des projets correspondants.

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

modifier

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

Carrière

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

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

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

  • 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

  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

v · m
Lauréats du prix Gödel

Strategi Solo vs Squad di Free Fire: Cara Menang Mudah!