Christopher Stone

Compilers, Computer science, Concurrency, Object calculi, Programming languages, Type theory

Christopher Stone, PhD, researches programming language theory and implementation. He is particularly interested in type systems for functional and object-oriented languages as well as the safety and correctness guarantees that type systems can provide. Stone has worked on the design and implementation of type systems for computer languages with advanced features such as extensible objects and singleton types.

Stone’s recent 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 NASA’s Jet Propulsion Laboratory on a Checkable Sequence Language (applying model checking to unmanned-spacecraft simulations).

Media Contact

Judy Augsburger

Further Resources