Akitoshi Kawamura

I am a graduate student in Computer Science at the University of Toronto. My advisor is Prof. Stephen Cook. Until September 2006, I was with Prof. Osamu Watanabe at Tokyo Institute of Technology. My interests include:

• Logical aspects of computational complexity
• Computability and complexity in analysis

Courses I TA(ed):

• CSC373H1: Algorithm Design and Analysis (Borodin) Spring 2008
• CSC236H1: Introduction to the Theory of Computation (Pitt) Fall 2007
• CSC240H1: Enriched Introduction to the Theory of Computation (Corneil) Spring 2007

Papers and notes

• Differential recursion August 2007, revised February 2008 (to appear in TOCL)
• Lipschitz Continuous Initial Value Problem is Polynomial-Space Complete November 2007, revised February 2008
• Differential recursion and differentially algebraic functions September 2006, revised March 2007
• Rebuilding Moore's real recursion theory January 2007
• On locally restorable encoding of strings September 2006, in Japanese
• Balanced configuration of numbers on a rectangle August 2006