Professor of Mathematics, Princeton University. Mathematical logic, foundations of mathematics, bounded arithmetic, and automatic proof verification.

Category
N
Visits
305
Added
Oct 7, 2025
Rating
(19)
Rate This Site
QR Code
QR code Download PNG
Embed Badge
Place this code on your website to show you're listed here.