Aquinas Hobor

As of fall 2003 I am a computer science PhD candidate at Princeton University. I hope to graduate in summer 2008.

I work on the Concurrent C minor project. My advisor is Andrew Appel. My thesis topic supports that project by providing a modular semantic model for concurrency.

I am seeking a post-doctorate opportunity to begin in fall 2008, preferably abroad. Prospective employers are encouraged to email me at Aquinas at verizon.net.