NTHRYS › PhD Assistance › Theoretical Computer Science

Theoretical Computer Science

Field

▾

Select a category to explore research frontiers

Loading categories...

Research Frontiers in Natural Proofs and Barriers to Lower Bounds

Investigates limitations of proof techniques through natural proofs framework and connections to cryptographic hardness.