Philippa Gardner, joint with Petar Maksimović, José Fragoso Santos and Sacha-Élie 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 I: A Multi-language Platform for Symbolic Execution, José Fragoso Santos, Petar Maksimović, Sacha-Élie Ayoun, Philippa Gardner, PLDI’20.
Galois was pleased to host this tech talk via live-stream for the public. A video of the presentation can be found above.