Ignacio David Lopez Miguel

University Assistant, MSc
Institute of Logic and Computation
Cyber-Physical Systems

TU Wien
Favoritenstraße 9–11
1040 Wien, Austria

Room: HA0305
Email: ta.ca.neiwutnull@zepol.oicangi
Website: https://ignaciolopezmiguel.github.io/

 

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