Filip Cano Cordoba


Formal Methods, PhD Student

Filip Cano Córdoba is a PhD student in the Systematic Construction of Correct Systems group at the Graz University of Technology. He received his MSc degree in Mathematics and Mathematical Engineering from BarcelonaTech in 2019.
Filip Cano Cordoba


My research is focused on generating trustworthy artificial intelligence through the use of formal methods. I am particularly interested in accountability of AI systems and also in runtime verification and enforcement of safety-critical properties.