We are very pleased to welcome Paul Brunet to our group (he was previously at ENS Lyon). He will be working as a Research Associate with Alexandra Silva.

David Pym and Alexandra Silva gave invited talks at the Compositionality workshop at the Simons Institute, Berkeley. 

Alexandra Silva organised the first Logic Mentoring Workshop, co-located with LICS 2016 (New York).

We are thrilled to annouce that Peter O'Hearn has been awarded the 2016 Gödel Prize. Congratulations Peter!

We are delighted to announce that David Pym has been appointed a Faculty Fellow at The Alan Turing Institute. Congratulations David!

Kareem Khazem (& Michael Tautschnig) presented his paper 'smid: A Black-Box Program Driver'at SPIN 2016.

Alexandra Silva gave a talk at the Workshop on Information and processes.

We are proud to announce that the following papers have been accepted for publication. Well done everyone!

Subotic P. 'Souffle: 'On Synthesis of Datalog for Program Analyzers'  The 28th International Conference on Computer Aided Verification (CAV'16).

S. Docherty and D. Pym. 'Intuitionistic layered graph logic'. In press, Proc. IJCAR 2016, Coimbra, Portugal. LNCS 2016.

J.-R. Courtault, D. Galmiche, and D. Pym. 'A Logic of Separating Modalities'. In press, Theoretical Computer Science, 2016.

C. Ioannidis, D. Pym, D, and J. Williams. (2016) 'Is Public Co-Ordination of Investment in Information Security Desirable?' Journal of Information Security (Special Issue on Cybersecurity Investments, L. Gordon and M. Loeb, editors), 7, 60-80. doi: 10.4236/jis.2016.72005.

A. Baldwin, I. Gheyas, C. Ioannidis, D. Pym, and J.  Williams. 'Contagion in Cybersecurity Attacks.' In press: Journal of the Operational Research Society, 2016. 

We are delighted to welcome Matteo Sammartino and Paul Subotic to the PPLV group.  Matteo has joined as a Research Associate and Paul as a PhD student.  Paul will be supervised by Byron Cook.

James Brotherston, Nikos Gorogiannis, Max Kanovich & Reuben Rowe presented their paper at POPL-43:  "Model checking for symbolic-heap separation logic with inductive predicates." 

Heidy Khlaff & Byron Cook's paper was accepted for publication: "T2: Temporal Property Verification" Marc Brockschmidt and Heidy Khlaaf with Byron Cook, Samin Ishtiaq, and Nir Piterman Tools and Algorithms for the Construction and Analysis of Systems (TACAS).

Paul Subotic's paper was accepted for publication: "On Fast Large-Scale Program Analysis in Datalog." Herbert Jordan, Bernhard Scholz, Pavle Subotic and Till Westmann, International Conference on Compiler Construction 2016 (CC'16).

James Brotherston gave an invited talk, "An Introduction to Separation Logic", at Oracle Labs in Brisbane, Australia. 

PPLV are delighted to welcome a new member to our group; Ilya Sergey, he was appointed as a Lecturer.

PPLV is hosting a Alan Turing workshop on 16-17 November, with Alexandra Silva as one of the organisers. More details at the webpage: http://www.alexandrasilva.org/lfds2015/index.html

We are pleased to announce that Alexandra Silva was awarded a prestigious ERC starting grant (1.5M euros).  She will be hiring two post-docs and two phd students in the spring of 2016. 

The PPLV group are delighted to welcome an additional member into the group; Alexandra Silva who has been appointed as Senior Lecturer. 

The PPLV group enjoyed a wonderful retreat in Ullapool where research was discussed, ideas exchanged and delicious seafood was consumed.

James Brotherston presented his paper; 'Sub-Classical Boolean bunched logics and the meaning of par.' at CSL'15 in Berlin.

James Brotherston presented his paper  'Disproving inductive entailments in separation logic via base pair approximation.'J. Brotherston and N. Gorogiannis. at TABLEAUX'15 in Wroclaw.

Alexandra Silva and Fredrik Dahlqvist both presented papers at RAMiCS 2015, the 15th International Conference on Relational and Algebraic Methods in Computer Science, which took place in Braga (Portugal). 

Reuben Rowe presented his paper; ''Encoding the Factorisation Calculus.' in Proceedings of the Combined 22th International Workshop on Expressiveness in Concurrency and 12th Workshp on Structural Operational Semantics (EXPRESS/SOS 2015), Madrid, Spain, 31st August 2015, Electronic Proceedings in Theoretical Computer Science (EPTCS 190). Slides

Heidy Khlaaf and Byron Cook's paper; "On Automation of CTL* Verification for Infinite-State Systems" was accepted for the CAV '15 conference.

Gabrielle Anderson and David Pym's  'Combinators for Trust Domains in Security Modelling' was accepted for publication in the 'Journal of Logic and Computation.'

We are delighted to annouce that James Brotherston has been promoted to Senior Lecturer.  Congratulations James!

Byron Cook, Carsten Fuhs, Kaustubh Nimkar and Peter O'Hearn presented their paper 'Disproving Termination with Overapproximation' at the FMCAD 2014 in Switzerland.

Nathan Chong joins the PPLV group as a Research Associate.  Nathan has successfully completed his PhD at Imperial before joining UCL and we are delighted to welcome him to the team.

Hasiba is awarded a Departmental Scholarship.  Hasiba joins the PPLV group and we are delighted to welcome her to the team.

Kareem Khazem is awarded the IMPACT studentship.  Kareem joins the PPLV group and we are delighted to welcome him to the team.

James Brotherston (jointly with Nikos Gorogiannis) presented his paper 'Cyclic Abduction of Inductively Defined Safety and Termination Preconditions' at SAS-21, 2014.

Gabrielle Anderson and Tristan Caufield join the PPLV group as Research Associates.  Gabrielle and Tristan previously worked with David Pym at the University of Aberdeen and we are delighted to welcome them into the team.

Fredrik Dahlqvist joins the PPLV group as a Research Associate.  Fredrik successfully completed his PhD at Imperial before joining UCL and we are delighted to welcome him to the team.

Tyler Sorensen is awarded The Graduate School Research Scholarship and ORS award.  Tyler joins the PPLV group and we are delighted to welcome him to the team.

David Pym presented jointly with Christos Ioannidis, Julian Williams, and Iffat Gheyas 'Resilience in Information Stewardship' which will appear in a chapter in the up-coming book Jens Grossklags (editor), Springer, 2015 at WEIS 2014, Penn State University, 23-24 June, 2014.

Sukriti Bhattacharya and Reuben Rowe join the PPLV group as Research Associates.  Sukriti previously worked as Research Associate at Laboratoire Bordelais de Recherche en Informatique (LaBRI) and Reuben worked as a Teaching Fellow at Imperial.  We are delighted to welcome to them to the team.

Stephan Van Staden has been awarded the Marie Curie Research Fellowship and joins the PPLV Group as an Honorary Research Associate. Stephan previously worked at ETH Zurich in Switzerland as a Research Fellow and Teaching assistant. We are delighted to welcome Stephan to our team.

Gabrielle Anderson and Tristan Caufield join the PPLV group as Research Associates.  Gabrielle and Tristan previously worked with David Pym at the University of Aberdeen and we are delighted to welcome them into the team.

James Brotherson and  Jules Villard presented their paper 'Parametric Completeness for Separation Theories' at POPL-41 2014. 

David Pym joins the PPLV group as Head of the Group. David previously held a Professorial position at University of Aberdeen and we are delighted to welcome him into the team.

Gadi Tellez Espinosa has been awarded a Departmental Studentship.  He joins the PPLV group and we are delighted to welcome him to the team.

Our Head of the Group; Peter O'Hearn takes a sabbatical from UCL to join Facebook for an exciting new appointment as Engineering Manager. Peter will still  continue to collaborate with the group on numerous projects.

Heidy Khlaaf has been awarded an excellence studentship  She joins the PPLV group and we are delighted to welcome to her to the team.

Brett McLean is awarded a studentship by the department and a scholarship of excellence.  Brett joins the PPLV group and we are delighted to welcome him to the team.

Julia Savage joins the PPLV group as Research Administrator and PA to Peter O'Hearn.  We are delighted to welcome Julia into the group.

Juan Navarro Perez joins the PPLV group as Lecturer. Juan previously held a Lecturer position at Queen Mary and we are delighted to welcome him to the team.

Nimkar Kaustubh has been awarded a studentship by the Department and joins the PPLV group.  We are delighted to welcome Nimkar to the team.

James Brotherston joins the PPLV group as Lecturer. James previously held a Lecturer position at Queen Mary and we are delighted to welcome him into the team.