Peter William O'Hearn, né le à Halifax (Nouvelle-Écosse, Canada), est un informaticien travaillant au Royaume-UniPeter W. O'Hearn, Curriculum Vitae , Queen Mary University of London..
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..
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.
À la suite de l'acquisition de la startup Monoidics, dont il est l'un des cofondateurs, O'Hearn travaille actuellement pour Facebook à LondresFacebook acquires assets of Monoidics..
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 2001Computer Science professor wins prestigious award sur Queen Mary University of London, et du prix de la Royal Academy of Engineering/Chaire Microsoft de Recherchehttp://www.raeng.org.uk/publications/newsletters/spring-newsletter-2012 Royal Academy News Spring 2012, page 6.
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 concurrente2016 Gödel Prize..
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 : . Le corécipiendaire est distingué pour l’article : . 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 ..
Publications . — Préface .
Notes et références
Liens externes
Page personnelle de Peter O'Hearn.
Catégorie:Naissance en juillet 1963 Catégorie:Personnalité britannique de l'informatique Catégorie:Personnalité canadienne de l'informatique Catégorie:Wikipédia:ébauche personnalité canadienne Catégorie:Étudiant de l'Université Dalhousie Catégorie:Personnalité en méthodes formelles Catégorie:Étudiant de l'Université Queen's Catégorie:Professeur à l'université de Syracuse Catégorie:Lauréat de la bourse Wolfson