Keynote for Oxford Computer Science Conference

We are delighted to host Professor Philippa Gardner from Imperial College for our final Seminar Seires of the year! Her research focuses on program specification and verification. Her talk will also form the keynote of the Oxford Computer Science conference.

Abstract: TBD