My photo
Second Year Doctoral Student
Department of Computer Science
Yale University
312 Watson Hall
51 Prospect Street
New Haven, CT 05620 (USA)
Welcome!
I am a second year PhD student in the computer science department, concentrating on semantics of programming languages, software verification, and type systems.
I will take a guess that you fit in one of these categories:
  • A student who is taking CS422 (Operating Systems). You should read my CS422 TA's Blog.
  • A fellow academic. You will probably be interested in my CV, research interests, papers, and links to my collegues.
  • A family member or a friend. I plan to add some photos and links to the site. Unfortunately, I have not done that yet, but feel free to browse the site, especially the page about the model railroad that I am building with my father.
  • Random linux user who has never heard of me. Well that is fine, I do not know you either. You are here because you found one of my linux hacks via Google. You probably entered through one of my project pages. Feel free to contact me with questions and suggestions. Also feel free to browse the other projects that I work on.
You do not fit into one of those categories? Hmm. Why are you here? Tell me about it.

Done with me? Check out the links page for some sites that I find interesting, informative, or just amusing.