is a Ph.D. candidate in Philosophy at the University of Pittsburgh.
He studies logic and mathematics (esp. category theory) at U. Pitt and Carnegie Mellon University.
His interest also lies in the philosophy of mathematics and physics.
His Erdős number is 3 (Paul Erdős—Joel Spencer—Nuel Belnap—KK).
In the Spring 2010 semester, he is teaching:
|
Visit Pitt Philosophy & HPS, CMU Pure and Applied Logic program, and Kyoto University HPS.
