I am currently an M.S. student in computer science at the University of New Hampshire. My primary computer science interests are programming languages, compilers, formal methods, and parallel & distributed computing. A unifying theme of these areas is reliable software: I am highly interested in making correct software easier to construct.
I am also interested in philosophy of mathematics and logic, cooking, photography, and classical music.
