Logic

Research Frontiers in Separation Logic and Heap Verification

Develops logical frameworks for reasoning about mutable data structures and memory allocation in imperative programs with formal correctness guarantees.

All Logic PhD categories