Filipe Casal

I'm an InfoSec PhD student at IST, Universidade de Lisboa in the DP-PMI. I'm supervised by João Rasga.

My main research interests are in the areas of logic, automated reasoning, Kolmogorov complexity and security. In particular,

  • combination of first-order satisfiability solvers
  • Kolmogorov complexity characterization of one-way functions
  • formal methods to prevent and mitigate side-channel attacks
  • probabilistic logics.

Filipe Casal

Selected publications

Classical Generalized Probabilistic Satisfiability.

Carlos Caleiro, Filipe Casal, Andreia Mordido

IJCAI 2017


Many-Sorted Equivalence of Shiny and Strongly Polite Theories

Filipe Casal and João Rasga

Journal of Automated Reasoning (2017)

DOI: 10.1007/s10817-017-9411-y

Generalized Probabilistic Satisfiability

Carlos Caleiro, Filipe Casal, Andreia Mordido

LFSA 2016

DOI: 10.1006/j.entcs.2017.04.004 | Github

Revisiting the equivalence of shininess and politeness

Filipe Casal and João Rasga

LPAR 2013

Preprint | DOI: 10.1007/978-3-642-45221-5_15

Other publications

Multiple-Model Adaptive State Estimation of the HIV-1 Infection using a Moving Horizon Approach

Filipe Casal, A. Pedro Aguiar, João M. Lemos

ECC 2013

Preprint | PDF


Master of Science in Mathematics and Applications

July 2013

Department of Mathematics | IST, Universidade de Lisboa

Master's thesis: On Nelson-Oppen Techniques

Thesis advisor: Prof. João Rasga


Departamento de Matemática
Instituto Superior Técnico
Av. Rovisco Pais 1049-001, Lisboa

fmrcasal AT math DOT tecnico DOT ulisboa DOT pt