Český matematik. Je vědecký pracovník v Centru pro teoretická studia a profesor na Univerzitě Karlově v Praze.
Jeho výzkumné zájmy se týkají především základů matematiky.
