Name:José Fragoso Santos

Country:Portugal

Affiliation:INESC-ID; Instituto Superior Técnico - University of Lisbon

Research interests:JavaScript, Separation Logic, Symbolic Execution, Bi-abduction, Secure Information Flow