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 |
|
||||||||||||||||
| Christopher A.
Stone Associate Professor |
||||||||||||||||
|
|
|||||||||||||||
For Spring 2008 I am teaching CS 70 (Data Structures and Program Development). My weekly schedule is available here.
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.
My CV and most of my publications are available on-line.
My research interests lie in the areas of programming language theory and implementation, particularly type systems for functional and object-based languages.
More recently I've done some 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 algorithms for recursively-defined types.