May 25, 2017
May 25, 2017
Our best wishes to Dr Azalea Raad, who has accepted a position as a Postdoctoral Fellow at the Max Planck Institute for Software Systems in Kaiserslautern, Germany, starting in July.
May 17, 2017
Best wishes to Dr Gian Ntzik, who will move to Amadeus at the end of May to work in systems development and research.
May 15, 2017
May 9, 2017
May 8, 2017
Philippa Gardner, Azalea Raad, Andrea Cerone and Emanuele D’Osualdo will be attending the Aarhus Concurrency Workshop on Concurrency Theory and related topics at the end of month.
Philippa Gardner, talk at the open Workshop on Consistency in Distributed Storage Systems, LIP6, Paris
May 3, 2017
May 1, 2017
We were delighted to host Dr Azadeh Farzan of the University of Toronto, who visited the group for two weeks to discuss her work, which involves Software Verification, Programming Languages, Formal Methods, and Security, all with an emphasis on concurrency-related issues.
Apr 28, 2017
Philippa Gardner was one of the keynote speakers at the 7th IPM International Conference on Fundamentals of Software Engineering (FSEN 2017) held in Tehran, Iran
Apr 24, 2017
A very warm welcome to Emanuele D’Osualdo, who joined the group this week.
Philippa Gardner, invited speaker at Colloquium d'Informatique, Université Pierre et Marie Curie, Paris
Mar 28, 2017
Philippa Gardner was the invited speaker at the March 17 edition of the Colloquium d’Informatique de L’UPMC Sorbonne Universités.
Feb 20, 2017
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 10, 2017
Congratulations to Azalea Raad who very successfully defended her PhD thesis, Abstraction, Refinement and Concurrent Reasoning on Friday 10 February.
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.
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.