Logic

Research Frontiers in Concurrent Game Semantics and Interaction Types

Development of game-theoretic semantics for concurrent programs using interaction-based models and strategy composition.

All Logic PhD categories