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).
Visit Pitt Philosophy & HPS, CMU Pure and Applied Logic program, and Kyoto University HPS.
In the Spring 2008 semester he is an instructor for
Introduction to Logic (PHIL0500) at U. Pitt.
