Manage settings
MENU
About this site
In het Nederlands
Home
Researchers
Projects
Organisations
Publications
Infrastructure
Contact
Research Explorer
Your browser does not support JavaScript or JavaScript is not enabled. Without JavaScript some functions of this webapplication may be disabled or cause error messages. To enable JavaScript, please consult the manual of your browser or contact your system administrator.
Researcher
Alakh Dhruv Chopra
Profile
Projects
Publications
Activities
Awards & Distinctions
Result
:
ALL
(
1
)
Order By :
Title (a-z)
Title (a-z)
Chronological by starting year (new to old)
As
Fellow
11 April 2022 → 10 April 2026
Analysis of Impredicative Provability Logics
Fellow: Alakh Dhruv Chopra
Funding: Regional and community funding: Special Research Fund