NTHRYS › PhD Assistance › Algorithm Design Complexity

Algorithm Design Complexity

Field

▾

Select a category to explore research frontiers

Loading categories...

Research Frontiers in Complexity of Program Synthesis and Verification

Study of computational hardness of automatically synthesizing or verifying correctness of programs from specifications.