Chris Stone graduated from Carnegie Mellon University in 1994 with a B.S. in Mathematics/Computer Science, a B.S. in Physics, and a M.S. in Mathematics. Continuing at CMU in the POP (Principles of Programming) group, he finished his Computer Science PhD in 2000 with the dissertation "Singleton Types and Kinds for Typed Intermediate Languages" advised by Robert Harper. In 2000, he joined the HMC Computer Science Department as an Assistant Professor, and was promoted to Associate Professor in 2006. His current research includes work with Melissa O'Neill on Observationally Cooperative Multithreading (a simpler model for parallel programming on multicore machines), and work with Robert Keller and colleagues at the Jet Propulsion Laboratory on a Checkable Sequence Language (applying model checking to unmanned-spacecraft simulations).