Feb 14, 2017
Philippa Gardner attended the official opening by the Queen of the National Cyber Security Centre new headquarters in London. The NCSC, part of GCHQ, aims to make their work on cyber security more open; it will publish research, organise events and will provide advice on cyber security to businesses and members of the public.
Feb 11, 2017
Over sixty people attended the Introduction to Verification and Testing workshop, held this week at Imperial College London. The INVEST workshop, organised by Alastair Donaldson, Christian Cadar and Philippa Gardner gives young researchers and final year students with an interest in research the chance to take a closer look at the fields of software verification and testing.
Feb 6, 2017
Two papers from the concurrency project team have been accepted at 26th European Symposium on Programming (ESOP 2017), which will take place this April in Uppsala, Sweden. The first paper, Abstract Specifications for Concurrent Maps, present the importance of abstract atomicity for reasoning fine-grained concurrent modules. The second paper, Caper: Automatic Verification for Fine-grained Concurrency, presents a prototype tool for automated reasoning about concurrent modules.
Feb 1, 2017
Jan 20, 2017
Jan 13, 2017
Congratulations to Pedro da Rocha Pinto who defended his PhD thesis, Reasoning with Time and Data Abstractions at his viva on Friday 13th January 2017.
The viva was passed with minor corrections. Many thanks to Aleksandar Nanevski and Viktor Vafeiadis who acted as external examiner and to Susan Eisenbach, who acted as the internal examiner.
Dec 15, 2016
Dec 5, 2016
Thomas Wood attended the latest ECMAScript standards committee TC39 meeting this November in San Francisco.
Nov 23, 2016
Andrea Cerone was invited to attend the seminar on Concurrency with Weak Memory Models at Schloss Dagstuhl last week.
Nov 14, 2016
Oct 12, 2016
Philippa Gardner was one of the keynote speakers at the 11th System Safety and Cyber Security Conference, (SSCS 2016) organised by the IET.
Oct 3, 2016
Azalea Raad has had two papers published in Programming Languages and System: Proceedings of the 14th Asian Symposium, [APLAS 2016[(https://soict.hust.edu.vn/~aplas2016/).
Sep 15, 2016
Congratulations to Daiva Naudžiūnienė, who is off to work for Facebook in the new year.
Sep 1, 2016
We are very happy to welcome Andrea Cerone to the group. Andrea has joined us from the IMDEA Software Institute, Madrid, Spain, where he worked with Dr. Alexey Gotsman on Verification of Higher Order Concurrent Libraries and Foundations of Consistency Models for Distributed Databases.
Jul 26, 2016
We are looking to recruit one postdoctoral researcher in the Program Specification and Verification Group at Imperial College London, to work on reasoning about concurrent programs. The position is suitable for either a theoretician, who would work on the foundations of concurrent reasoning, or a theoretician/practitioner, who would work on the verification and testing of file systems.