Andrzej Murawski
|
Dr Andrzej Stanisław Murawski
Visiting Academic
andrzej.murawski at le.ac.uk
Wolfson Building, Parks Road, Oxford OX1 3QD |
Links
Recent News
Miscellaneous
Papers accepted to FoSSaCS 2012
Computer scientists from Oxford have co-authored a series of papers that have been accepted to FoSSaCS 2012 – the international conference on the foundations of software
Info
|
Themes |
Foundations, Logic and Structures | Programming Languages | Verification |
|
Activities |
|
|
Completed Projects |
Game Semantics of Concurrency, Objects and Mobility | Automated Verification of Probabilistic Programs |
