Projects I've been involved in

• What Thesis: Safety Verification of Automated Car Maneuvers . Theory of Distributed Systems Group, MIT. Jan 96 - present
  Description Formally modeled a distributed computerized highway. Demonstrated necessary and sufficient conditions for the safety of the system. Published two papers and presented them at international conferences.
  Links
  • Project description
  • The "safety" paper
  • The "toolbox" paper
  • Theory of Distributed Algorithms Group
• Cache Database Language Preprocessor
• Teaching assistant in the Compilers course
• Java Web-based Electronic Catalog
• What: Retirement Planner. IBM-sponsored Java HeadStart Contest. Jun 97 - Sep 97
  Description:
  Links:
  • Java Applet
  • API Javadoc-format documentation.
• 6.035 Stiletto language compiler
• 6.170 Antichess Web game
• 6.033 Proxy Cache Server Design