MIT, Cambridge, MA

Co-inventor of Theta, the first object-oriented programming language with where-clause type constraints.

Co-inventor of Thor, the first distributed object database with hybrid adaptive caching.

Doctoral work: Invented, implemented, and evaluated the first prefetching and storage management system for the client side of Thor. Advisor: Barbara Liskov. Committee: Frans Kaashoek, Butler Lampson, and Jerry Saltzer.