NTHRYS › PhD Assistance › Computer Science

Computer Science

Field

▾

Select a category to explore research frontiers

Loading categories...

Research Frontiers in Formal Verification of Software Systems

Development of mathematical techniques to prove correctness properties of software systems and eliminate entire classes of bugs.