🚴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, specifically applying logic to reinforcement learning algorithms. 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, 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).
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.
(2021).
Simplification of numeric variables for PLC model checking.
In MEMOCODE'21.
(2021).
Applying Model Checking to Highly-Configurable Safety Critical Software: The SPS-PPS PLC Program.
In ICALEPCS'21.
Contact
- ignacio.lopez [at] tuwien.ac.at
- 3 Treitlstrasse, Vienna, 1040