I'm at UCLA now doing programming languages stuff. I'm especially interested in applying static analysis and more modern programming constructs into operating systems development. It was extremely fortunate that I have been able to team up with the FreeBSD K Kernel Meta-Language Project for the Google Summer of Code. Hopefully I will learn a lot on what areas programming languages can help OS development.