Philippa Gardner, joint with Petar Maksimović, Jose Fragoso Santos and Sacha Ayoun. The talk will be given by Gardner and Maksimović.
Philippa Gardner is a Professor in the Department of Computing at Imperial College London and a Fellow of the Royal Academy of Engineering. She currently holds a UK Research and Innovation Established Fellowship and directs the Research Institute on Verified Trustworthy Software Systems (VeTSS), funded by EPSRC and NCSC. Her
Gillian, Part 1: A Multi-language Platform for Symbolic Execution, Jose Fragoso Santos, Peter Maksimović, Sacha-Elie Ayoun, Philippa Gardner, PLDI’20.
Galois is pleased to host this tech talk via live-stream for the public on May 5, 2021 from 11:00 am to 12:00 pm Pacific Time. Send a request to email@example.com to receive meeting information.