Aquinas Hobor

Science (Computational Sciences)

Assistant Professor of Science
Email: aquinas@yale-nus.edu.sg

Dr Hobor received a BS (Honors) in Mathematics and BS (Honors) in Computer Science from the University of Chicago in 2003, and his MA and PhD in Computer Science from Princeton University in 2005 and 2008 respectively. Prior to coming to Yale-NUS College, Dr Hobor was a Lecturer (2011-2013) and Lee Kuan Yew Postdoctoral Fellow (2008-2011) at National University of Singapore’s School of Computing, where he maintains a joint appointment.

Research Interests

Dr Hobor’s research focuses on improving the reliability and security of software with an emphasis on formal verification. His three most important publications are Oracle Semantics for Concurrent Separation Logic (ESOP 2008), A Theory of Indirection via Approximation (POPL 2010), and The Ramifications of Sharing in Data Structures (POPL 2013).  His research was recognised by the awarding of a Lee Kuan Yew Postdoctoral Fellowship.

Teaching and Residential Life

Dr Hobor believes that a liberal arts education can prepare the best students for extraordinary careers both within and beyond the ivory tower. The essence of computer science – algorithmic thinking – can help both scientists and nonscientists become more powerful and disciplined thinkers. At the University of Chicago Dr Hobor lived for all four years in Hitchcock Hall, which gave him a firm belief in the value of residential life on campus.

On Joining Yale-NUS College

I am excited to join the adventure of Yale-NUS College! My own undergraduate education was in the liberal arts tradition, and I am very pleased to once again be a part of such an environment.  A liberal arts education will benefit both our students and, I hope, Singapore, over time. Computer science is not traditionally part of a liberal arts education, but I believe that all of our students can benefit from learning how to think algorithmically and I look forward to helping them do just that.