I am a Ph.D. student at the Technical University of Vienna (TU Wien) under Ezio Bartocci and Agata Ciabattoni. My research focuses on safe artificial intelligence, such as applying runtime enforcement to an AI-based control system. 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.
(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.
(2023).
From Natural Language Requirements to the Verification of Programmable Logic Controllers: Integrating FRET into PLCverif.
In NFM'23.
(2023).
Verification of Neural Networks Meets PLC Code: An LHC Cooling Tower Control System at CERN.
In EANN'23.
(2023).
Stop at red? Engineering meets ethics.
In CEPE'23.
Contact
- ignacio.lopez [at] tuwien.ac.at
- 3 Treitlstrasse, Vienna, 1040