education

carnegie mellon university (pittsburgh,pa)
b.s. in computer science with university honors, 12/2002

university of california, san diego (san diego, ca)
ph.d. in progress

work experience

carnegie mellon aura systems group (may 2002 - may 2003)
lawrence livermore national laboratory (june 2001 - august 2001)
carnegie mellon office of student life (march 2000 - may 2001)

teaching experience

carnegie mellon 15-412, operating system design and implementation
fall 2002, under instructor gregory kesden

university of arizona math 125b, calculus II
fall 1998 and spring 1999, under instructor brink harrison

relevant courses

ucsd cse218 adv. topics in software eng. / academic prep. (griswold, fall 2004)
ucsd cse207 modern cryptography (bellare, spring 2004)
ucsd cse223b distributed computing and systems (snoeren, spring 2004)
ucsd cse200 computability and complexity (bellare, winter 2004)
ucsd cse223a principals of distributed computing (marzullo, winter 2004)
ucsd cse222 computer communication networks (vahdat, winter 2004)
ucsd cse202 algorithms (paturi, fall 2003)
ucsd cse221a operating systems (voelker, fall 2003)
ucsd cse240a computer architecture (calder, fall 2003)
cmu 15-495 parallel architecture and programming (mowry, fall 2002)
cmu 15-681 machine learning (rosenfield, fall 2002)
cmu 15-312 programming languages (harper, spring 2002)
cmu 15-412 operating system design and implementation (kesden, fall 2001)
cmu 15-381 artificial intelligence (veloso, fall 2001)
cmu 21-373 algebraic structures (spring 2001)
cmu 21-484 graph theory (spring 2001)

honors and positions held

carnegie mellon judicial board (august 2001 - december 2002)
spring carnival committee, technical chair (august 2001 - may 2002)
spring carnival committee, incendiaries chair (september 2002 - may 2003)
mortar board senior honor society (inducted march 2002)
andrew carnegie society scholar
boeing senior scholarship
phi beta kappa
phi kappa phi
carnegie tech radio club, station manager (may 2001 - may 2002)
carnegie tech radio club, president (january 2000 - may 2001)
activities board technical committee, co-chair (april 2002 - april 2003)
faculty recruitment committee (september 2004 - june 2005)

technical skills

linux, solaris, macos x, c, c++, java, sml, latex, html,
xml, mathematica, perl, x86 and powerpc assembly