ASCEND
BY NTHRYS

NTHRYSPhD AssistanceTheoretical Computer Science

Theoretical Computer Science

Field
Category

Theoretical Computer Science

Select a category to explore research frontiers

Loading categories...

Research Frontiers in Complexity of Verification Problems

Studies hardness of verifying properties of computational objects and formal systems.

All Theoretical Computer Science PhD categories