Andrzej Murawski

Dr Andrzej Stanisław Murawski

Visiting Academic

A.Murawski at warwick.ac.uk

Links

Themes	Foundations, Logic and Structures \| Programming Languages \| Automated Verification
Activities	Game Semantics and its Applications
Completed Projects	Game Semantics of Concurrency, Objects and Mobility \| Automated Verification of Probabilistic Programs