Ignacio David Lopez Miguel

Ignacio David Lopez Miguel is a PreDoc Researcher at the Cyber-Physical Systems department of Vienna University of Technology (TU Wien). His research focuses on formal verification techniques for safety-critical systems, particularly in the context of Programmable Logic Controllers (PLCs) used in industrial and high-stakes environments like CERN's Large Hadron Collider (LHC) cooling systems.

• Current projects include TAIGER (2023–2027), addressing neural network verification for PLC code.
• Collaborates with institutions such as CERN, GSI, and NASA on safety-critical control systems.

Research Themes:

• Integration of formal verification with AI/ML components
• Runtime enforcement in cyber-physical systems
• Ethical considerations in engineering design
• Automated translation of natural language requirements to formal specifications

His work spans interdisciplinary domains, connecting computer science, control theory, and engineering ethics through rigorous verification methodologies.