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 William O'Hearn, né le à Halifax (Nouvelle-Écosse, Canada), est un informaticien travaillant au Royaume-Uni[1].
| 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
modifierPeter 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
modifierIl 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
modifierO'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- Peter W. O'Hearn, Curriculum Vitae « Copie archivée » (version du sur Internet Archive), Queen Mary University of London.
- (en) « Peter O'Hearn », sur le site du Mathematics Genealogy Project.
- Facebook acquires assets of Monoidics.
- Computer Science professor wins prestigious award sur Queen Mary University of London
- http://www.raeng.org.uk/publications/newsletters/spring-newsletter-2012 Royal Academy News Spring 2012, page 6
- 2016 Gödel Prize.
- 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- Page personnelle de Peter O'Hearn.
- Ressources relatives à la recherche :
