Logic

Research Frontiers in Type Theory and Dependent Types

Studies formal systems combining logic and type theory where types can depend on values enabling expressive specifications.

All Logic PhD categories