Mathematical Logic Foundations

Research Frontiers in Temporal Logic and Program Verification

Develops logical frameworks for reasoning about time and changes, with applications to verifying concurrent and reactive systems.

All Mathematical Logic & Foundations PhD categories