
Aquinas Adam HOBOR
Assistant Professor- P.hD. (Computer Science, Princeton University, 2008)
- M.A. (Computer Science, Princeton University, 2005)
- B.S. (Mathematics, Honors, University of Chicago, 2003)
- B.S. (Computer Science, Honors, University of Chicago, 2003)
- B.S. (Honors in the College, University of Chicago, 2003)
As of July 1, 2013, I have become an Assistant Professor with a joint appointment between National University of Singapore's School of Computing and Yale-NUS College. Previously, from October 23, 2011 to June 30, 2013 I was a Lecturer, and before that I was a Lee Kuan Yew Postdoctoral Fellow from October 23, 2008 - October 22, 2011. On October 17th, 2008, I defended my PhD thesis, in which I developed a modular semantic model for concurrency, at the Department of Computer Science at Princeton University.
RESEARCH AREAS
RESEARCH INTERESTS
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.
RESEARCH PROJECTS
RESEARCH GROUPS
TEACHING INNOVATIONS
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.
AWARDS & HONOURS
Lee Kuan Yew Postdoctoral Fellowship http://www.nus.edu.sg/dpr/funding/lky.html 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
MODULES TAUGHT