Scholar

Neil Thapen

Google Scholar ID: bOt3uDMAAAAJ

Researcher, Institute of Mathematics, Czech Academy of Sciences

mathematical logiccomputational complexityproof complexity

Homepage↗Google Scholar↗

Citations & Impact

All-time

Citations

268

H-index

9

i10-index

8

Publications

20

Co-authors

9

list available

Contact

No contact links provided.

Publications

2 items

On the consistency of stronger lower bounds for NEXP

2025

Cited

0

How to fit large complexity classes into TFNP

arXiv.org · 2024

Cited

0

Resume (English only)

Co-authors

9 total

Professor of Mathematics and Computer Science

Sapienza - Università di Roma

Sapienza University Rome

Jakob Nordström

University of Copenhagen and Lund University

Associate Professor, Technion