FCS News» Go to news main
Introducing Dal's honorary degree recipients for Spring Convocation 2018
Dalhousie's thousands of new graduates this spring — the class of Dal's 200th anniversary year — will be joined by eight outstanding individuals whose achievements are being recognized with an honorary degree, including Computer Science alum Dr. Peter William O'Hearn.
Honorary degrees recognize people who've demonstrated inspirational leadership in, or in service to, society, outstanding contribution to a field or discipline, and/or outstanding contributions to the university.
Dr. O'Hearn whill receive his honorary degree at the convocation ceremony taking place on Saturday June 2nd at 9:00am.
Dr. Peter William O’Hearn
Innovation that has transformed programming theory and practice
Saturday, June 2 – 9 a.m. ceremony
Innovation has been and continues to be the hallmark of Dr. Peter William O’Hearn’s academic career. His research in the areas of programming languages and mathematical logic led to the invention of Separation Logic, and more recently Concurrent Separation Logic—theories that underlie programs to automatically check other software for errors and have opened up entire fields of research. He has also been a leader in putting theory into practice: his software analysis tool, Infer, has been used to improve and find errors in software used by companies such as Facebook, Amazon and Uber. In 2009, he co-founded software development company Monoidics Ltd., which developed the Infer Static Analyzer and was later acquired by Facebook. Staying on as a manager engineering, in 2015 Dr. O’Hearn and his team made Infer open source software free to developers everywhere.
Dr. O’Hearn, who grew up in Halifax County, earned his Bachelor of Science at Dalhousie and has a Master of Science and PhD degrees from Queens University. He began his teaching career in 1991 at Syracuse University, later moving on to positions at Queen Mary University of London and University College London, where he teaches today. Dr. O’Hearn was awarded the 2012 Royal Academy of Engineering/Microsoft Research Chair. In 2016, he received the Computer Aided Verification Conference Award and the Gödel Prize (both for the invention of Concurrent Separation Logic), and was elected a Fellow of the Royal Academy of Engineering. This is Dr. O’Hearn’s first honorary degree.
- Innovation and entrepreneurship jumpstarts real‑world student ideas
- Grad profiles: Leading in the face of adversity
- Dalhousie emerges as one of world’s top 100 universities for sustainability in new QS ranking
- Dalhousie climbs higher in 2023 Maclean’s University Rankings
- Choose Dalhousie University, enjoy Halifax’s booming tech scene
- The most gender‑inclusive STEM universities in North America
- When achievement meets ambition: Get to know Dal’s 2022 Schulich Leaders
- Why many Atlantic Canadian farmers struggle to adopt high‑tech solutions — and what can be done to change that