Aquinas Hobor


On October 17th, 2008, I successfully achieved escape velocity from the Department of Computer Science at Princeton University when I defended my PhD thesis, in which I developed a modular semantic model for concurrency.

As of October 23, 2008, I have started a Lee Kuan Yew Postdoctoral Fellowship at National University of Singapore's School of Computing.

Since I have been in Singapore I have been refining some of the semantic techniques developed in my thesis, particularly models for higher-order separation logics.

I have also been investigating weak memory models.

 Aquinas Hobor

web site by Lucy Day Hobor ~ 2008-2009