Mathematical Logic Foundations

Research Frontiers in Session Types and Linear Communication

Develops type theories for structured communication protocols using linear types, ensuring deadlock freedom and protocol compliance in concurrent systems.

All Mathematical Logic & Foundations PhD categories