I have obtained a PhD in Information Security at IST, Universidade de Lisboa under the supervision of João Rasga. My thesis concerns the combination of first-order satisfiability solvers, as well as probabilistic logics and their satisfiability procedures.
My main research interests are in the areas of vulnerability research, logic, automated reasoning and type theory. In particular,
I have participated in the EU-FOSSA program performing code review on the PuTTY source code for one month, leading to the discovery of the following vulnerabilities:
Department of Mathematics | IST, Universidade de Lisboa
Thesis advisor: Prof. João Rasga
Departamento de Informática Faculdade de Ciências da Universidade de Lisboa Campo Grande, 1749-016 Lisboa Portugal
Email: fmrcasal (at) fc.ul.pt