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 2009 semester, he is the Alan Ross Anderson Fellow at Pitt,
and teaches two graduate courses:
|
Visit Pitt Philosophy & HPS, CMU Pure and Applied Logic program, and Kyoto University HPS.