Welcome to my web site! I am currently a 3rd-year undergrad in Computer Science and Applied & Computational Mathematics at the California Institute of Technology in Pasadena, California.

My research interests are currently in programming language theory.

Visit any of the sections below to learn more about me.

Click here to download my CV as a PDF.

1. K. Mani Chandy, Brian Go, Sayan Mitra, and Jerome White. "Towards Verified Distributed Software Through Refinement of Formal Archetypes." Second IFIP Working Conference on Verified Software: Workshop on Experiments. October 6-9, 2008 (pdf)

• Bombs-Must-Detonate. This project, done for CS136C ("Programming Languages Laboratory") at Caltech in SP 2008, entailed the design of a C-style language (grammar linked here) and the implementation of a compiler for it. The (admittedly somewhat contrived) purpose was to write AI scripts for a bomberman clone which was also created as part of the project. The project acronym, BMD, is taken from the first letter of the team members' names -- (B)rian Go, (M)ason Smith, and (D)ane Rukavina. My piece of the project was the compiler, which I wrote in OCaml.

• I read Reddit, Reddit: Programming, and The Washington Post.
• I drive a 1974 Vespa 150 VBC Super.
• I listen to Red Hot Chili Peppers, Third Eye Blind, Angels and Airwaves, Maná, The Smashing Pumpkins, and Maroon 5, among others.
• I enjoy fencing and playing drums.
• My favorite books are For Whom the Bell Tolls and The Great Gatsby.
• I am an Eagle Scout from NCAC Boy Scout Troop 255.
• I am an avid player of the board game Diplomacy. My play record (all in-house games) is below. Realpolitik DPY game files are linked.
  Aug 08 (Loss (England) to France, Germany, England).
  Jun 08 (Win: Austria, England, France),
  Mar 08 (Win: England, Russia, Austria, Turkey),
  Feb 08 (Win: Italy, England, Austria),
  Jan 08 (Win: Germany, Austria, France, Turkey),
  Dec 07 (Win: England, Austria, Turkey).

The best way to contact me is by e-mail at go {at} caltech {dot} edu.