Jim Apple

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

Teaching

Computer science related (co-)writing:

• My blog about typed programming
• The draft paper "Simulating Dependent Types with Guarded Algebraic Datatypes"
• 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

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 Sunday, 06-Apr-2008 17:08:40 PDT.