I am a fourth year undergraduate Computer Science major at Carnegie Mellon University. I am particularly interested in language design and systems. I also have a personal interest in economics, international politics, and finance. In my free time I like to read and play Go.
Most recently I have been working on the Perspectives Project which is a new and interesting way to verify the security of encrypted websites. I mostly helped in the development of a Firefox extension which uses the system.
This website is pretty new, so it doesn't have much on it yet. I plan to use it as a blog for my thoughts on some personal projects. In particular, I have been thinking about an Emacs-like (in the sense that its lisp based) Vi clone that would be targeted at functional programming. Also at some point I would like to make a Go server. I think a distributed, open Go server design would be better for several reasons which I will write about in the future. Also I plan to visit South Korea in December so perhaps I will post photographs and thoughts here.