NTHRYS › PhD Assistance › Theoretical Computer Science

Theoretical Computer Science

Field

▾

Select a category to explore research frontiers

Loading categories...

Research Frontiers in Type Theory and Dependent Type Systems

Explores type-theoretic foundations for programming languages and formal verification with emphasis on computational content and decidability.