Skip to main content


Research Projects

View Current Projects        View All Projects

  • Automated reasoning for security and privacy: International Exchanges Standard Programme with Ranko Lazic, Marcin Jurdzinski, Funded by: Royal Society, Project Start Date 31-03-2017 - Project End Date 30-03-2019
  • Game Semantics for Java Programs: Grant Transfer from the University of Leicester for Dr A Murawski Funded by: EPSRC, Project Start Date 01-10-2012 - Project End Date 30-09-2014
Page 1 of 1