The Queen’s School of Computing is pleased to announce that QSC Alum Dr. Peter O’Hearn (Ph.D. 1991, supervisor QSC Emeritus Professor Bob Tennant) is a co-recipient (with Stephen Brookes) of the 2016 ACM (SIGACT)/EATCS Godel Prize.
http://processalgebra.blogspot.ca/2016/05/stephen-brookes-and-peter-w-ohearn.html
Congratulations Peter!