Andrzej Murawski

Dr Andrzej Stanisław Murawski

Visiting Academic

andrzej.murawski at le.ac.uk

Wolfson Building, Parks Road, Oxford OX1 3QD

Links

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