Filip Cano Cordoba
Ing.Formal Methods, PhD Student

Research
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.