Logic

Research Frontiers in Cut Elimination and Proof Normalization

Investigates elimination of redundant proof steps to achieve canonical proofs and extract computational content.

All Logic PhD categories