Aquinas Hobor

Curriculum Vitae

(Also available as a PDF or as a Word document.)

Contact

Aquinas Hobor
Princeton University
Department of Computer Science
35 Olden Street
Princeton, NJ 08540
(609) 883-5921

aahobor at cs.princeton.edu
Aquinas at verizon.net

Education

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

Princeton University, Princeton, New Jersey
    MA, Computer Science, 2005
    PhD, Computer Science, expected summer 2008
    Thesis title: Oracle Semantics

Honors & Awards

First Year Fellowship, 2003, Princeton University
ACM Programming Contest World Finalist, 2002
Dean’s List, 1999-2003, The University of Chicago
Dean’s Scholarship, Rensselaer Polytechnic Institute, 1999

Employment

Princeton University, Princeton, New Jersey
    Spring 2006 – Present Research Assistant
    Spring 2005 – Fall 2005 Teaching Assistant
    Fall 2004 Research Assistant

INRIA, Rocquencourt, France
    Summer 2007 Research Intern

Research Intern, Microsoft Corporation, Redmond, Washington
    Summer 2005 Research Intern
    Summer 2001 & 2002 Software Development Intern

Lapides Asset Management, Greenwich, Connecticut
    Summer 2006 Financial Analyst Intern

William Blair & Co, Chicago, Illinois
    Summer 2003 Financial Analyst Intern

General Growth Properties, Chicago, Illinois
    Summer 2003 Investor Relations Intern

The University of Chicago, Chicago, Illinois
    Spring 2003 – Spring 2000 Teaching Assistant or Grader, 13     courses total

FindMRO.com, Lake Forest, Illinois
    Summer 2000 Web site development

VIGRE Program, The University of Chicago, Chicago, Illinois
    Summer 2000 Teaching mathematics to high school students

Tester, Jackson Software, Glencoe, Illinois
    Summer 1996 (Software for Teachers)

Publications

Comparing Semantic and Syntactic Methods in Mechanized Proof Frameworks
C. J. Bell, Robert Dockins, Aquinas Hobor,
Andrew W. Appel, David Walker
Currently submitted for publication

Multimodal Separation Logic for Reasoning About Operational Semantics
Robert Dockins, Andrew W. Appel, Aquinas Hobor
To appear in Mathematical Foundations of Programming Semantics (MFPS 2008)

Oracle Semantics for Concurrent Separation Logic
Aquinas Hobor, Andrew W. Appel, Francesco Zappa Nardelli
17th European Symposium of Programming (ESOP 2008), pages 353-367

References

Available on request