![José Fragoso Santos](https://popl19.sigplan.org/getProfileImage/josefragososantos/05a6bee7-34cb-42f8-a004-b7be6806ec70/small.jpg?1712130113000)
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.
Contributions
POPL 2019-profile
View general profile
View general profile