HMC Expert: Christopher Stone

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 Appearances
- hmc.edu, 12/17/12 NSF Funds Design of Multicore Processor Programming Model
Further Resources
Contact
Chris Stone
Professor of Computer Science Computer Science Capstone Program Director
301 Platt Blvd.
Claremont, CA 91711
909.607.8975
stone@cs.hmc.edu