Jim Apple

I am a graduate student in computer science at the University of California, Davis. My advisor is Zhendong Su.

CS writing

• The draft "Simulating Dependent Types with Guarded Algebraic Datatypes"

Other CS internet stuff

• Extra errata for Artificial Intelligence: A Modern Approach, Second Edition
• The slides from a talk about the Curry-Howard correspondence given to the programming languages & systems seminar at UC Davis
• Occasional notes about typed programming
• A place to share URLs about types and static analysis

Teaching

Personal

I grew up in Virginia, and attended the University of Virginia, receiving a B.A. in mathematics. I am interested in American law (particularly civil rights), racquetball, ultimate frisbee, religion & politics, road trips, the Oxford comma, and writing away messages. I try to change my mind frequently, especially about really important things like Truth or Justice.

Contact

My email address is "jbapple", followed by the "at" sign, followed by my school's name, followed by a period, followed by the educational top-level domain.

If you know a better spam-proof yet accessible way to list this, please decipher the above and email me your trick.

This document last modified Monday, 08-Sep-2008 11:22:21 PDT.