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 & Research Data

Activities

Awards & Distinctions

Patents

Results : ALL ( 2 )

As Doctoral researcher

23 June 2022 → 20 September 2026

Analysis of Impredicative Provability Logics

Doctoral researcher: Alakh Dhruv Chopra

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