<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01//EN" "http://www.w3.org/TR/html4/strict.dtd">
<html>
<head>
<meta http-equiv="Content-Type" content="text/html;charset=utf-8" >
<meta name="verify-v1" content="g6rkc93dOIiqdvfFZSkb2Iy54J3QPaFKx2hM15rnjCI=" >
<meta name="verify-v1" content="p1TSmzE+QF2u6g55MxmdjHMs5kLq4rU+9lpOPpupx8I=" >
<title>Jim Apple</title>
</head>
<body>
<div style="float: right; padding: 30px 30px 30px 30px;">
<img src="jelly-belly-sm.png" alt="a picture of me at the Jelly Belly factory tour" style="border: solid; border-width: thin;">
<!--
<br/>
<a href="http://www.cs.virginia.edu/~jba5b/me-in-suit.jpg">
<img src="http://www.cs.virginia.edu/~jba5b/me-in-suit.jpg" alt="A picture of me" height="450">
</a>
-->
</div>
<h1>
Jim Apple
</h1>
<p>
I am a <a href="http://gsa.ucdavis.edu/">graduate student</a> in 
<a href="http://www.cs.ucdavis.edu">computer science</a> at the 
<a href="http://www.ucdavis.edu">University of California, Davis</a>. My advisor is 
<a href="http://www.cs.ucdavis.edu/~su/">Zhendong Su</a>.

<h2>CS writing</h2>

<ul>
<li>
<a href="http://www.cs.virginia.edu/~jba5b/singleton/">The draft "Simulating Dependent Types with Guarded Algebraic Datatypes"</a>
</li>
</ul>

<h2>Other CS internet stuff</h2>
<ul>
<li>
<a href="http://www.cs.virginia.edu/~jba5b/AIMA-errata.html">Extra errata for <cite>Artificial Intelligence: A Modern Approach, Second Edition</cite></a>
</li>
<li>
<a href="curry-howard.pdf">The slides from a talk about the Curry-Howard correspondence</a> given to the <a href="http://morpheus.cs.ucdavis.edu/languages/">programming languages & systems seminar at UC Davis</a>
</li>
<li>
<a href="http://blog.jbapple.com">Occasional notes about typed programming</a>
</li>
<li>
<a href="http://types.reddit.com">A place to share URLs about types and static analysis</a>
</li>
</ul>

<h2>Teaching</h2>

I was the teaching assistant for <a href="http://wwwcsif.cs.ucdavis.edu/~cs140a/">ECS 140a, Programming Languages</a> in Spring 2008. 

<h2>Personal</h2>

<p>

I grew up in Virginia, and attended the <a
 href="http://www.virginia.edu/">University of Virginia</a>, receiving
 a B.A. in <a href="http://www.math.virginia.edu/">mathematics</a>. 
 
 I am interested in <a href="http://www.findlaw.com/casecode/supreme.html">American
 law</a> (particularly civil rights), racquetball, ultimate frisbee,
 religion &amp; politics, road trips, the Oxford comma<a
 href="http://en.wikipedia.org/wiki/Serial_comma" style="text-decoration:none; color: inherit;">,</a> and writing
 away messages. 
 
I try to change my mind frequently, especially about
 really important things like Truth or Justice.

</p>

<h2>Contact</h2>
<p>
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.
</p>
<p>
If you know a better spam-proof yet accessible way to list this,
please decipher the above and email me your trick.
</p>

<hr>
<p>
This document last modified <!--#flastmod file="index.html" -->.
</p>
<script src="http://www.google-analytics.com/urchin.js" type="text/javascript">
</script>
<script type="text/javascript">
_uacct = "UA-1377562-1";
urchinTracker();
</script>
</body>
</html>



<!--  LocalWords:  Su Tanglegrams Gusfield Balaji Venkatachalam jbapple
 -->
