NTHRYS › PhD Assistance › Formal Methods

Formal Methods

Field

▾

Select a category to explore research frontiers

Loading categories...

Research Frontiers in Behavioral Type Systems and Session Types

Type-theoretic approaches to guarantee safe communication patterns and protocol compliance in concurrent and distributed systems.