Mar 14, 2018
Jan 12, 2018
Jan 6, 2018
Philippa Gardner is currently looking for a PhD student, start date in October 2018, to join the Verified Trustworthy Software Specification Group,
Nov 24, 2017
We are very pleased to have welcomed Siddharth Krishna, from the Courant Institute of Mathematical Sciences, NYU, who visited the group this week to talk about his work on the verification of concurrent data structures.
Nov 15, 2017
Oct 2, 2017
We are really happy to welcome Gabriela Sampaio, who has joined the group as a PhD student.
Sep 26, 2017
José Fragoso Santos, Philippa Gardner, Petar Maksimović, Daiva Naudžiūnienė and Thomas Wood, have had a paper accepted at this year’s ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2018).
Sep 22, 2017
Almost a hundred participants attended this year’s FMATS, held on 21-22 September 2017 at Microsoft Research Cambridge.
Philippa Gardner, Keynote talk at Reliably Secure Software Systems (RS3) meeting, Darmstadt, Germany.
Sep 6, 2017
Invited paper at the 26th International Conference on Automated Reasoning, (CADE), Gothenburg, Sweden.
Aug 12, 2017
Philippa Gardner was one of the invited speakers at the this year’s CADE conference, held in Gothenburg, Sweden, on 6-11 August 2017.
Jul 7, 2017
Jul 3, 2017
We are delighted to welcome Thomas Pointon, Samuel Ogunmola and Ashley Davies-Lyons who will be working with the group this summer as part of Imperial’s Undergraduate Research Opportunities Programme (UROP).
Jun 16, 2017
Andrea Cerone has had a paper accepted at this year’s International Conference on Concurrency Theory, (Concur 2017) which will be held in Berlin, Germany in September.
Jun 13, 2017
Emanuele D’Osualdo has had a paper accepted at this year’s Computer Security Foundations Symposium (CSF).
May 25, 2017
May 25, 2017
Many congratulations 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 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’s 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.
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.