Research Interests

  • Proof theory, independence results.
  • Computational learning theory.