University of Washington

I graduated from Department of Computer Science (and Engineering) at the University of Washington. It is a great department.

I was a part of the Cecil project lead by Craig Chambers. Cecil is a nice OO language, very simple and powerful, and our Vortex compiler is written in Cecil. But... it's all in the past now. Our leader designed a new language, Diesel, featuring modules, static overloading, and (oops, I shouldn't reveal any secrets!).

I did research on "Constraint-Bounded Polymorphism," an expressive and practical (and sometimes even decidable!) type system for object-oriented languages. My dissertation and an earlier paper are available.