I am a Ph.D. student at the Technical University of Vienna (TU Wien) under Ezio Bartocci and Agata Ciabattoni. My research focuses on combining logic and formal methods with machine learning. I am also really interested in safe artificial intelligence, enabling the usage of machine-learning based systems into safety-critical applications. Besides my research, I worked in different international organizations, the last one being the European Organization for Nuclear Research (CERN).
I serve as sub-reviewer for QEST2023, SPIN2023, FM2023, TACAS2023, VMCAI2024, and artifact reviewer for CAV2023.
Experience
Formal Verification Engineer
CERN
Development and usage of the tool PLCverif to automatically formally verify PLC code.
Model Validation Specialist
Deutsche Bank
Validation of Machine Learning models to estimate credit score by performing different analyses, such as assumptions validation, sensitivity, robustness, and back-testing.
Quantitative consultant
Management Solutions
Design and development of tools to automate processes, as well as validation of Machine Learning models.
Education
Ph.D. Logic in Computer Science
TU Wien
M.Sc. Artificial Intelligence Research
Menendez Pelayo University
B.Sc. Mathematics
National University of Distance Education
M.Sc. Business Consulting
ICADE Business School
B.Sc. Industrial Electronics and Automation Engineering
Valladolid University
Publications
Quickly discover relevant content by filtering publications.
(2025).
Formal Verification of PLCs as a Service: A CERN-GSI Safety-Critical Case Study.
In NFM'25.
(2024).
Student Research Abstract: Enhancing Safety in Cyber-Physical Systems Through Runtime Enforcement.
In SAC'24.
(2023).
Working Together for Safer Systems: A Collaboration Model for Verification of PLC Code.
In ICALEPCS'23.
(2023).
Progression for Monitoring in Temporal ASP.
In ECAI'23.
Contact
- ignacio.lopez [at] tuwien.ac.at
- 3 Treitlstrasse, Vienna, 1040