Accueil🇫🇷Chercher

Peter O'Hearn

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
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

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 W. 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

Liens externes

Cet article est issu de wikipedia. Text licence: CC BY-SA 4.0, Des conditions supplémentaires peuvent s’appliquer aux fichiers multimédias.