Peter O'Hearn
![](http://upload.wikimedia.org/wikipedia/commons/thumb/c/cf/Max-cut.svg/44px-Max-cut.svg.png)
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.
![Description de l'image Peter O'Hearn.jpg.](http://upload.wikimedia.org/wikipedia/commons/thumb/c/ca/Peter_O%27Hearn.jpg/220px-Peter_O%27Hearn.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
- ↑ a b et c 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
- ↑ a et b 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
- Notices d'autorité
:
- VIAF
- ISNI
- BnF (données)
- IdRef
- LCCN
- GND
- Pays-Bas
- WorldCat
- Page personnelle de Peter O'Hearn.
- Ressources relatives à la recherche
:
- Digital Bibliography & Library Project
- Google Scholar
- Mathematics Genealogy Project
- ORCID
- ResearchGate
- Royal Society
v · m Lauréats du prix Gödel | |
---|---|
|
Portail de l'informatique théorique
Portail de l’informatique