Lecturer

Department of Mathematics

The Pennsylvania State University, University Park, USA

**Summer 2015**: Math 141 — Calculus with Analytic Geometry II, Section 901

Complete list of courses taught | Teaching Philosophy

My research areas are mathematical logic and foundations of mathematics. In particular, I am interested in the following areas.

- Constructive logic and mathematics
- Intuitionistic logic, set theory and mathematics
- Other non-classical logics
- Computability theory

“I do not know what I may appear to the world, but to myself I seem to have been only a boy playing on the sea-shore, and diverting myself now and then finding a smoother pebble or a prettier shell than ordinary, whilst the great ocean of truth lay all undiscovered before me.”

— Isaac Newton