Picture of Chris Stone   Christopher A. Stone
  Associate Professor
 
Computer Science Department
Harvey Mudd College
301 Platt Boulevard
Claremont, CA 91711
 
Email: stone@cs.hmc.edu
Phone: (909) 607-8975
Secretary: (909) 621-8225
Fax: (909) 621-8465
Office: 1251 Olin
Horizontal Line

Teaching

This semester I am teaching CS 131 (Programming Languages) and CS 132 (Compiler Design). My weekly schedule is available here.

Advising

My advising information for Joint CS/Math Majors and the companion advising information for CS majors should be useful to students and their advisors. Please let me know if there's anything I've left out that would be useful, or if there are any errors.

Research

My CV and most of my publications are available on-line.

My research usually involves the theory or implementation of programming languages. I am particularly interested in type systems for functional and object-based languages.

More recently I've done work on automatically translating specifications in constructive mathematics into interface code for programmers. The system answers questions like, "What would a programmer need to implement in order to get a complete and correct implementation of the mathematical real numbers [or a compact metric space, or a space of smooth functions, ...]?"

Previously, I worked on types for object-based languages (languages that permit adding new fields or methods to individual objects at run-time) and type checking algorithms for recursively-defined types.

Other Stuff

Last modified October 2, 2008 by stone@cs.hmc.edu