Christopher D. Richards

PhD (2010) Computer Science
Princeton University

Email · Jabber/XMPP · SIP:

Public Key ID: 3072R/15B3D785
Fingerprint: AAF4 3FF2 F7BB D687 8AB6
0C8C 8EFA B406 15B3 D785


I like designing, implementing, and applying programming language technologies for making software more secure and reliable.

Prior to achieving escape velocity I hacked on the Foundational Proof-Carrying Code project at Princeton led by Andrew Appel. For more information, kindly consult my résumé (PDF) or extended résumé / vita (PDF).

Selected Publications

The Approximation Modality in Models of Higher-Order Types. Christopher D. Richards. PhD thesis, Princeton University, June 2010. Tech Report TR-872-10.

Semantic foundations for typed assembly languages. Amal Ahmed, Andrew W. Appel, Christopher D. Richards, Gang Tan, and Daniel C. Wang. ACM Transactions on Programming Languages and Systems (TOPLAS), 32(3):1–67, March 2010. [ACM page]

The New Jersey voting-machine lawsuit and the AVC Advantage DRE voting machine. Andrew W. Appel, Maia Ginsburg, Harri Hursti, Brian W. Kernighan, Christopher D. Richards, Gang Tan, and Penny Venetis. In EVT/WOTE ’09: Proceedings of the 2009 USENIX/Accurate/IAVoSS Electronic Voting Technology Workshop / Workshop on Trustworthy Elections, August 2009.

A very modal model of a modern, major, general type system. Andrew W. Appel, Paul-André Melliès, Christopher D. Richards, and Jérôme Vouillon. In POPL ’07: Proceedings of the 34th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, January 2007. [ACM page]