NTHRYS › PhD Assistance › Logic
Select a category to explore research frontiers
Loading categories...
Development of techniques for proving properties of programs using logical relations and parametric reasoning in type theory.
All Logic PhD categories