Filip Cano Cordoba
Ing.PhD Candidate
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.Publications
Towards Responsible AI: Advances in Safety, Fairness, and Accountability of Autonomous Systems
Cano Cordoba F.
, Doctoral Thesis
Fairness Shields: Safeguarding against Biased Decision Makers
Cano Cordoba F., Henzinger T., Könighofer B., Kueffner K., Mallik K.
Proceedings of the AAAI Conference on Artificial Intelligence, AAAI Press, 15659-15668
Abstraction-Based Decision Making for Statistical Properties
Cano Cordoba F., Henzinger T., Könighofer B., Kueffner K., Mallik K.
9th International Conference on Formal Structures for Computation and Deduction, FSCD 2024, 9th International Conference on Formal Structures for Computation and Deduction, 2:1–2:17, (Leibniz International Proceedings in Informatics, LIPIcs; vol. 299)
'Put the Car on the Stand': SMT-based Oracles for Investigating Decisions
Judson S., Elacqua M., Cano Cordoba F., Antonopoulos T., Könighofer B., Shapiro S., Piskac R.
CSLAW 2024 - Proceedings of the 3rd Symposium on Computer Science and Law, 2024 Computer Science and Law Symposium, 73-85
Continuous Engineering for Trustworthy Learning-Enabled Autonomous Systems
Bensalem S., Katsaros P., Nickovic D., Liao B., Nolasco R., Ahmed M., Beyene T., Cano Cordoba F., Delacourt A., Esen H., Forrai A., He W., Huang X., Kekatos N., Könighofer B., Paulitsch M., Peled D., Ponchant M., Sorokin L., Tong S., Wu C.
Bridging the Gap Between AI and Reality - 1st International Conference, AISoLA 2023, Proceedings, 1st International Conference on Bridging the Gap between AI and Reality, 256-278, (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 14380 LNCS)