Dr. Eric Hehner

Biography

Eric C.R. Hehner is a distinguished Professor Emeritus at the University of Toronto, where he joined the faculty in 1983 and held the Bell University Chair in Software Engineering from 2001 until his retirement in 2012. He obtained his BSc in Mathematics and Physics in 1969, followed by an MSc in 1970 and a PhD in 1974, focusing his thesis on the match representation of data programs in computer architectures. Professor Hehner has made significant contributions to the field of formal methods in programming and mathematics program construction. His research has garnered recognition, earning him the annual Computer Science undergraduate teaching award. Internationally, he has served as a Visiting Scientist at Xerox Palo Alto Research Center and a Visiting Fellow at Oxford University, among other esteemed institutions. He has also been involved in numerous professional organizations, including the IFIP Working Group on Algorithmic Languages and Calculi. He has published several influential works, including books on Logic Programming and Practical Theory Programming, and has served as an editor for prominent journals. Throughout his career, he has given hundreds of invited lectures worldwide and taught short courses in various countries, influencing students who have gone on to significant careers in computer science.

Research Interests