Mathematical Logic Foundations

Research Frontiers in Separation Logic and Heap Reasoning

Develops logical systems for reasoning about mutable state and heap manipulation, establishing compositionality through separation conjunction.

All Mathematical Logic & Foundations PhD categories