Creating and sharing knowledge for telecommunications
... Filipe Manuel Rodrigues Casal

Filipe Casal

Former IT academic position: External Author
Joining/Leaving IT dates: 15-10-2013 / 31-12-2021
Roles held in IT:
Former IT thematic line: Networks and Services
Group: Security and Quantum Information - Lx

Scientific Achievements

  • MSc, Instituto Superior Técnico, 01-01-2013
  • Computability, Computational Complexity and Kolmogorov Complexity relative to Arithmetic Oracles
  • C. Caleiro, F. Casal, A. Mordido, Classical generalized probabilistic satisfiability, International Joint Conference on Artificial Intelligence - IJCAI, Melbourne, Australia, August, 2017 | BibTex
  • F. Casal, J. Rasga, Revisiting the Equivalence of Shininess and Politeness, International Conf. on Logic for Programming, Artificial Intelligence and Reasoning - LPAR, Stellenbosch, South Africa, Vol. 8312, pp. 1 - 15, December, 2013 | BibTex

Closed Projects1

Acronym Name Funding Agency Start date Ending date
ComFormCrypt ComFormCrypt - Computational Semantics of Formal Methods in Cryptography FCT/PTDC 01-02-2011 01-07-2014