Ignacio David Lopez Miguel
 |
University Assistant, MSc Institute of Logic and Computation Cyber-Physical Systems TU Wien Room: HA0305 |
Research Interests
Safe Artificial Intelligence, Software Verification, Logic Programming, Reinforcement Learning, Cyber-Physical Systems
Current Position
I am a PhD student in the Doctoral College Logics for Computer Science at TU Wien (LogiCS@TUWien) that is co-funded by the EC H2020 Marie Skłodowska-Curie COFUND, within the research unit of Cyber-Physical Systems under the supervision of Prof. Ezio Bartocci and Prof. Agata Ciabattoni.
Education
MSc in Research in Artificial Intelligence at UIMP, 2019-2021
BSc in Mathematics at UNED, 2016-
MSc in Business Consulting, 2015-2017
BSc in Industrial Electronics and Automation Engineering at UVa, 2011-2015
Publications
For an up-to-date list of publications, please visit TU Wien Informatics | Ignacio David Lopez Miguel.
Ignacio D. Lopez-Miguel
Stop at red? Engineering meets ethics
CEPE’23: International Conference on Computer Ethics: Philosophical Enquiry 2023 (Extended abstract. Accepted for publication and presentation)
Ignacio D. Lopez-Miguel, Borja Fernández Adiego, Faiq Ghawash, Enrique Blanco Viñuela
Verification of neural networks meets PLC code: An LHC cooling tower control system at CERN
EANN/EAAI’23: Proceedings of the 24th International Conference on Engineering Applications of Neural Networks (Accepted for publication and presentation)
Zsófia Ádám, Ignacio D. Lopez-Miguel, Anastasia Mavridou, Thomas Pressburger, Marcin Bęś, Enrique Blanco Viñuela, Andreas Katis, Jean-Charles Tournier, Khanh V. Trinh, Borja Fernández Adiego
From Natural Language Requirements to the Verification of Programmable Logic Controllers: Integrating FRET into PLCverif
NFM’23: Proceedings of the NASA Formal Methods Symposium (Accepted for publication and presentation)
Ignacio D. Lopez-Miguel, Borja Fernández Adiego, Jean-Charles Tournier, Enrique Blanco Viñuela, Juan A. Rodriguez-Aguilar
Simplification of numeric variables for PLC model checking
MEMOCODE’21: Proceedings of the 19th ACM-IEEE International Conference on Formal Methods and Models for System Design
Borja Fernández Adiego, Ignacio D. Lopez-Miguel, Jean-Charles Tournier, Enrique Blanco Viñuela, Tomasz Ladzinski, Frederic Havart
Applying Model Checking to Highly-Configurable Safety Critical Software: The SPS-PPS PLC Program
ICALEPCS’21: Proceedings of the 18th International Conference on Accelerator and Large Experimental Physics Control Systems
Ignacio D. Lopez-Miguel, Jean-Charles Tournier, Borja Fernández Adiego
PLCverif: Status of a Formal Verification Tool for Programmable Logic Controller
ICALEPCS’21: Proceedings of the 18th International Conference on Accelerator and Large Experimental Physics Control Systems
Work Experience
CERN. 2020-2022
Formal Verification Engineer
Deutsche Bank. 2017-2019
Quantitative Model Validation Specialist
Management Solutions. 2015-2017
Quantitative Risk Consultant
