Skip to main content

Projects

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 01-05-2017 - Project End Date 30-04-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