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

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

• My wife Sneža is a French tutor.