NTHRYS › PhD Assistance › Theoretical Computer Science

Theoretical Computer Science

Field

▾

Select a category to explore research frontiers

Loading categories...

Research Frontiers in Formal Methods and Program Verification

Develops formal techniques for proving correctness of programs including theorem proving, model checking, and temporal logic.