Research

(curriculum vitae)

Currently, I am a graduate student at the California Institute of Technology working as a member of the Mojave research lab (http://mojave.caltech.edu) under the direction of Professor Jason Hickey. My research interests are varied, but if I were to pick a theme, it would be "software reliability". In practice, this topic leads to work in areas ranging from networking and distributed systems, to kernel development, to language/compiler design, and even to formal methods (proofs, model checking, automated theorem proving, etc).

All in all, I would characterize myself as a semi-formal systems guy interested in increasing software reliability through the application of automated (or perhaps semi-automated) formal verification mechanisms. Moreover, although I am strongly interested in the formal/theoretical aspects of this work, I hold in high regard the value of the actual implementation of these systems. Thus, while part of my work is theoretical, I am also always involved directly in the implementation of real versions of these systems in practice. In fact, I am a real coder at heart -- and I love to hack away at an interesting programming problem whenever I get the chance!

Of course, to get a better idea about the specifics of my work, I encourage visitors to explore the links presented in the panel to the left.