Registered user since Wed 1 Nov 2017
Name: José Fragoso Santos
Affiliation: Imperial College London
Personal website: https://www.doc.ic.ac.uk/~jfaustin/
Research interests: Separation Logic, Symbolic Execution, information flow control, functional programming.
|REMS-DeepSpec 2020||Author of Gillian: a Multi-language Platform for Program Correctness and Incorrectness within the REMS-DeepSpec 2020-track|
|Show activities from other conferences|
View general profile