Christopher D. Richards

Department of Computer Science, Princeton University, 35 Olden Street, Princeton, NJ 08544, (609) 258-2072, richards@CS.Princeton.EDU

Objective

Research position in type systems, programming languages, compilers, or verification.

Education

Princeton University, Princeton, New Jersey: Ph.D. candidate, Computer Science. Advisor: Andrew Appel
Princeton University, Princeton, New Jersey: M.A., Computer Science, November 2002
Williams College, Williamstown, Massachusetts: B.A., cum laude, Computer Science, June 2000. GPA 3.71

Experience

Princeton University Secure Internet Programming Project, Fall 2000 - Present: Research Assistant. Developing Foundational Proof-Carrying Code, a system for generating and verifying safety proofs for machine-code programs. Developing models and proofs in machine-checked formal logic. Improving type system for machine code. Extending system to CISC/VLIW architectures.
AT&T Research, Summer 2000: Summer Manager. Planned and executed upgrade of software package for finite-state linguistic analysis.
Johns Hopkins University Center for Language and Speech Processing, Summer 1999: Researcher. Researched open problems in text normalization at National Science Foundation internship. Advanced state of the art with six others (see Publications). Investigated subproblem using regular expression-based and weighted finite-state automaton-based techniques.

Publications

Sproat, R., Black, A., Chen, S., Kumar, S., Ostendorf, M., and Richards, C. Normalization of non-standard words. Computer Speech & Language, 15(3):287-333, July 2001.

Skills

Languages: ML, Twelf, Java, C/C++, Perl, Lisp, LaTeX.

Platforms: BSD/Linux/UNIX, Windows, Macintosh.