Toponomics

Field

▾

Select a category to explore research frontiers

Loading categories...

Research Frontiers in Topological Data Types and Formal Verification

Develops formal methods using topological type systems for verifying correctness of computational systems and data structures.