1993 I participated in the 1993 Research Experience for Undergraduates in High Performance Computing at the Northeast Parallel Architectures Center (NPAC) at Syracuse Unversity. My project was entitled Say it Ain't So or Proof by Contradiction for Parallel Genetic Algorithms for Automated Reasoning . A poster, as well as the abstract and paper are available.   1994 I had such a good time I returned to NPAC the next summer. For the 1994 NPAC REU , I worked on a project entitled Real Time Rendering of a Geographic Information System. My poster gives a brief overview of the project. More details can be found in the abstract and paper.   1995 The summer after my junior year I decided to see what Rice had to offer. I worked in the Programming Language Theory (PLT) group with Cormac Fl anagan on MrSpidey a static debugging system which uses set based analysis to derive program invariants. The paper describing the package by Flanagan, Flatt, Krishnamurthi, Weirich and Fellisen, entitled Catching Bugs in the Web of Program Invariants appeared in PLDI '96.   1996 Through the CRA Distributed Mentor Project I am worked with Devika Subramanian at Rice. Our goal was to build a tour giving robot for the new Computational Engineering Building.