黄色直播

Spring 2018 Honorary Degree Recipient

Doctor of Laws (honoris causa)

Innovation has been and continues to be the hallmark of Dr. Peter William O鈥橦earn鈥檚 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鈥攖heories 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鈥橦earn and his team made Infer open source software free to developers everywhere.

Dr. O鈥橦earn, 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鈥橦earn 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鈥橦earn鈥檚 first honorary degree.