Logic

Research Frontiers in Separation Logic and Heap Reasoning

Development of formal logics for verifying imperative programs with mutable data structures through localized reasoning about memory and pointer manipulation.

All Logic PhD categories