I am a Ph.D. student at the Technical University of Vienna (TU Wien) under the supervision of Martin Tappler, 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 served as sub-reviewer for QEST2023, SPIN2023, FM2023, TACAS2023, VMCAI2024, AAAI2026, 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.
(2026).
ATLAS: Discovering Agent Strategies through LLM-Guided Abstraction and Automata Learning.
In MODELS'26.
(2025).
OFTEN-DeepRL: On-the-Fly Teaching of Ethical Norms to Deep Reinforcement Learning Agents.
In ECAI'25.
(2025).
Rule-Guided Reinforcement Learning Policy Evaluation and Improvement.
In IJCAI'25.
(2025).
Formal Verification of PLCs as a Service: A CERN-GSI Safety-Critical Case Study.
In NFM'25.
Contact
- ignacio.lopez [at] tuwien.ac.at
- 3 Treitlstrasse, Vienna, 1040