FCS News
» Go to news mainIntroducing Dal's honorary degree recipients for Spring Convocation 2018
Â鶹´«Ã½'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 Â鶹´«Ã½ 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.
Ìý
Find out more about the other Spring 2018 honorary degree recipients.
Recent News
- Dal prof changing the way we think about accessibility in the classroom
- Volta, Dal Launch New Program for AI Startups
- Dal‑led initiative aims to help crack the code on gender barriers in tech
- Leading the way: Dal’s 2024 university wide teaching award winners exemplify excellence in higher ed
- Impact Rankings 2024: Â鶹´«Ã½ ranks 65th globally for tackling some of the world's biggest issues
- Dal alumni who are now Canada’s rising business leaders point to common theme for success
- Â鶹´«Ã½ soars into top 18 per cent of universities in QS World University Rankings
- Grad profile: Finding community in the sandbox