Mathematical Logic Foundations

Research Frontiers in Bunched Logic and Separation Logic

Develops bunched implications and separation logic for reasoning about resource usage and pointer aliasing in program verification.

All Mathematical Logic & Foundations PhD categories