# Research Projects

PPLV staff members and students are currently involved in the following projects:

- ReLiC: A Coalgebraic Framework for Reductive Logic and Proof-Search

David Pym (PI), Alexandra Silva and Simon Docherty.

Nov 2018 -- Oct 2022. - Enhanced Formal Reasoning for Algebraic Network Theory

Fabio Zanasi (PI).

Feb 2018 -- Jan 2020. - IRIS: Interface Reasoning for Interacting Systems

David Pym (PI), Will Venters, Peter O'Hearn, Edmund Robinson, George Danezis, James Brotherston, Alistair Donaldson.

Jan 2018 -- Dec 2023. - European Research Council Starting Grant: ProFoundNet: Probabilistic Foundations for Networks.

Alexandra Silva (PI).

March 2016 -- Feb 2021 - Partial order semantics for concurrent program verification

Jade Alglave (PI).

Feb 2014 -- Feb 2016 - Automating Separation Logic Reasoning

Juan Navarro Perez (PI).

Jan 2014 -- Jun 2015 - Algebra and Logic for Policy and Utility in Information Security

David Pym (PI), J. Swierzbinski, M.J. Collinson, G. McCusker, C. Ioannidis and P. Cornish.

Dec 2013 -- Nov 2017. - Boosting Automated Verification using Cyclic Proof

James Brotherston (PI), Byron Cook and N Gorogiannis.

Nov 2013 -- May 2017. - Compositional Security Analysis for Binaries

Byron Cook (PI).

Nov 2013 -- Nov 2016. - Program Verification Techniques for Understanding Security Properties of Software

B. Karp (PI), Juan Navarro Perez, M.J. Handley, and Byron Cook.

Oct 2013 -- Oct 2016. - Productive Security - Improving security compliance and productivity through measurement

A Sasse (PI) and David Pym.

Oct 2012 -- Mar 2016. - Resource Reasoning

David Pym (PI) and Byron Cook.

Mar 2012 -- Jun 2016. - Logical Foundations of Resource

James Brotherston (PI).

Jun 2012 -- Nov 2016.

This page was last modified on 08 Feb 2019.