Research Projects

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

Nominal String Diagrams
Fabio Zanasi (PI), Dan Ghica (PI) and Alexandra Silva
Dec 2020 -- Nov 2023
CLeVer: Verification of Hardware Concurrency by Model Learning
Alexandra Silva (PI) and Matteo Sammartino.
April 2019 -- March 2022
ReLiC: A Coalgebraic Framework for Reductive Logic and Proof-Search
David Pym (PI), Alexandra Silva and Simon Docherty.
Nov 2018 -- Oct 2022.
Automated Black-Box verification of network systems
Alexandra Silva (PI) and Matteo Sammartino.
Sept 2018 -- March 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 18 Aug 2020.