NTHRYS › PhD Assistance › Theoretical Computer Science

Theoretical Computer Science

Field

▾

Select a category to explore research frontiers

Loading categories...

Research Frontiers in Proof Complexity and Automated Theorem Proving

Investigates the lengths and structures of formal proofs in various proof systems and develops efficient automated reasoning techniques.