Master's Thesis -- Research on Directed Random Verification
Curriculum Vitae -- Research, Experience, and Education
Research Publications and Presentations

Tangents

Quad -- A board game
Critters -- Artificial Life using Genetic Programming
Tic-Tac-Toe -- Min-Max search with Alpha-Beta pruning

Woodworking -- Straight from the shop
Hikes -- 4 seasons of sweaty fun
Climbing -- From cragging to pulling plastic
Sky Diving -- Free-fall
San Francisco 2002 -- Christmas in California
Europe 2003 -- 4 Weeks, 8 Countries, 1 Backpack
The Gambia 2004 -- Bringing Twister to the masses
Bermuda 2004 -- A vacation for a change