Aquinas Hobor

I am an Assistant Professor of Computer Science at National University of Singapore's School of Computing.

I do research in verification, semantic models, machine-checked proof, and computer security. Particular areas of recent interest are verifying graph-manipulating programs, certified decision procedures, parallel programming, and cryptocurrencies.

Education

Princeton University, Princeton, New Jersey * PhD, Computer Science, 2008; thesis title: Oracle Semantics * MA, Computer Science, 2005

The University of Chicago, Chicago, Illinois * BS, Honors, Mathematics, 2003 * BS, Honors, Computer Science, 2003 * Honors in the College, 2003

Companies

• Assistant Professor National University of Singapore (2013)
• Lecturer National University of Singapore (2011 — 2013)
• Lee Kuan Yew Postdoctoral Fellow National University of Singapore (2008 — 2011)
• Research Intern Institut National de Recherche en Informatique et en Automatique (INRIA) (2007 — 2007)
• Financial Analyst Intern Lapides Asset Management (2006 — 2006)
• Research Intern Microsoft (2005 — 2005)
• Quantitative Modeling Intern William Blair & Co. (2003 — 2003)
• Investor Relations Intern General Growth Properties (2003 — 2003)
• Software Design Engineer Intern Microsoft (2002 — 2002)

AWARDS & HONOURS

• Lee Kuan Yew Postdoctoral Fellowship 2008, Republic of Singapore
• First Year Fellowship 2003, Princeton University
• ACM Programming Contest World Finalist 2002, Association for Computing Machinery
• Dean’s List 1999-2003, The University of Chicago

SELECTED PUBLICATIONS

• Logical Reasoning for Disjoint Permissions. Xuan Bach Le, Aquinas Hobor. 27th European Symposium of Programming ESOP 2018, pp. 385-414, April 2018.
• Making Smart Contracts Smarter. Loi Luu, Duc-Hiep Chu, Hrishi Olickel, Prateek Saxena, Aquinas Hobor. 23rd ACM Conference on Computer and Communications Security CCS 2016, pp. 254-269, October 2016.
• Program Logics for Certified Compilers. Andrew W. Appel, Robert Dockins, Aquinas Hobor, Lennart Beringer, Josiah Dodds, Gordon Stewart, Sandrine Blazy, Xavier Leroy. Cambridge University Press, 2014.
• The Ramifications of Sharing in Data Structures. Aquinas Hobor, Jules Villard. The 40th ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages POPL 2013, pp. 523-536, January 2013.
• A Theory of Indirection via Approximation. Aquinas Hobor, Robert Dockins, Andrew W. Appel. 37th ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages POPL 2010, pp. 171-185, January 2010.
• A Fresh Look at Separation Algebras and Share Accounting. Robert Dockins, Aquinas Hobor, Andrew W. Appel. The 7th Asian Symposium on Programming Languages and Systems APLAS 2009, pp. 161-177, December 2009.
• Oracle Semantics for Concurrent Separation Logic. Aquinas Hobor, Andrew W. Appel, Francesco Zappa Nardelli. 17th European Symposium of Programming ESOP 2008, pp. 353-367, March/April 2008.