Research Interests

• Reverse Mathematics, computational content of theorems.
• Proof theory, independence results.
• Computational learning theory.

> Research Interests

Publications

Co-workers