| Amherst College | Mathematics and Computer Science | B.A. summa cum laude, 1998 |
| Cornell University | Mathematics | M.S., 2002 |
| Cornell University | Computer Science | M.S., January 2005 |
| Cornell University | Mathematics | Ph.D., expected August 2005 |
| Teaching assistant/instructor, Cornell University, 1999-present |
| Intern (computer security research), ATC-NY, 2003 |
| Unix systems administrator, The MathWorks, Inc., 1998-1999 |
| C. Hardin and D. Velleman. The mean value theorem in second order arithmetic, Journal of Symbolic Logic 66 (2001), 1353-1358. |
| C. Hardin and D. Kozen. On the Elimination of Hypotheses in Kleene Algebra with Tests. Technical Report 2002-1879, Computer Science Department, Cornell University, October 2002. |
| C. Hardin and D. Kozen. On the Complexity of the Horn Theory of REL. Technical Report 2003-1896, Computer Science Department, Cornell University, May 2003. |
| C. Hardin. How the Location of * Influences Complexity in Kleene Algebra with Tests. In F. Baader and A. Voronkov, editors, Proc. 11th Int. Conf. Logic for Programming, Artificial Intelligence, and Reasoning (LPAR 2004), volume 3452 of Lecture Notes in Artificial Intelligence, pages 224-239, Montevideo, Uruguay, March 2005. Springer-Verlag. |
| C. Hardin. Proof Theory for Kleene Algebra. To be presented at LICS 2005. |
| C. Hardin. Modularizing the Elimination of r=0 in Kleene Algebra. Submitted to Logical Methods in Computer Science. |
| TA, Math 192 (Calculus for Engineers II) | Fall 1999 |
| TA, Math 294 (Engineering Mathematics--linear algebra and PDEs) | Spring 2000 |
| TA, Math 192 (Calculus for Engineers II) | Fall 2000 |
| TA, Math 222 (Multivariable Calculus) | Spring 2001 |
| TA, Math 192 (Calculus for Engineers II) | Fall 2001 |
| Instructor, Math 191 (Calculus for Engineers) | Fall 2002 |
| TA, Math 106 (Calculus for the Life and Social Sciences) | Spring 2003 |
| Instructor, Math 191 (Calculus for Engineers) | Fall 2003 |
| TA, Math 106 (Calculus for the Life and Social Sciences) | Spring 2004 |
| Instructor, Math 111 (Calculus) | Summer 2004 |
| ``Czar's assistant'' (part instructor, part administrative assistant), Math 112 (Calculus II) | Fall 2004 |
|
Eleanor Norton York Award in Mathematics, 2002 Awarded annually to a Cornell math graduate student. |
| NSF VIGRE Semester, 2002 |
| Robert H. Breusch Prize in Mathematics, 1998 Awarded annually to a graduating Amherst student. |
| Member, Phi Beta Kappa |
| Co-organizer, Olivetti Club (math graduate student colloquium), Spring 2004 |
| Secretary, Tompkins County Green Party, 2001-2004 |
| State Committee Member, Green Party of New York State, 2000-2004 |
| President, Cornell United Progressives, 2001 |