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.
Florian Ferdinand Huemer is a PostDoc Researcher at the Embedded Computing Systems department (E191-02 Faculty Council Substitute Member) within the Faculty of Informatics at Vienna University of Technology. His work focuses on fault-tolerant asynchronous circuits, delay-insensitive communication protocols, and FPGA reliability analysis. BSc , Vienna University of Technology Dipl.-Ing. , Vienna University of Technology Dr.techn. , Vienna University of Technology Key research areas include: Fault-Tolerant Computing : Designing systems resilient to transient faults and radiation effects. Asynchronous Circuits : Developing quasi-delay-insensitive logic and Muller pipelines. Embedded Metrology : Applying polarization cameras and time-to-digital converters for industrial measurements. Recent publications address: 2024 : Polarization camera-based inline thickness measurement and FPGA ring oscillator synchronization. 2023 : Mitigating single-event transients in QDI logic. 2021 : Automated fault-injection frameworks and QDI pipeline sensitivity analysis. Projects funded by the Austrian Science Fund (FWF) during 2013-2018 explored self-stabilizing Byzantine fault-tolerant algorithms. Supervisions include: Haschke (2024): QDI adder comparison Spitzer (2024): Automated fault-injection framework Schwendinger (2022): Asynchronous circuit testing tools Pircher (2022): Smart SoC testing via IJTAG Behal (2021): QDI design template fault sensitivity
Vladimiro Sassone is a Professor in the Department of Electronics and Computer Science within the Faculty of Engineering and Physical Sciences at the University of Southampton, a position he has held since 2006. He is a Fellow of the British Computer Society (2007) and a member of the Academy of Europe (elected 2011) in the Informatics section with Membership Number 3063. Professor Sassone's research focuses on the theoretical foundations of computer science, particularly in the areas of concurrency theory, formal methods, and distributed systems. His work spans semantics, type theory, logics, security and privacy, with applications to mobile and ubiquitous computing environments. He has made significant contributions to abstract models for concurrency, their categorical formalization, and behavioral equivalences for mobile processes. His research interests encompass trust, anonymity, security, access control, typing, and coordination in distributed systems. He has pioneered work on developing robust, high-level paradigms for global ubiquitous computing through foundational research in theoretical computer science. Professor Sassone has received significant research funding as Principal Investigator of the EPSRC "Third-Party Resource Usage for Pervasive Computing" (2003-2006) and as Co-Investigator of the EPSRC "Pervasive Computing Support for Market Trading" (2006-2010). He also coordinated the EU-FET GC project "MyThS: Models and Types for Security in Distributed Systems" (2002-2005) and directed the EU Marie Curie Research Training Centre "DisCo: Foundations of Distributed Computation" (2002-2006). Fellow of the British Computer Society (2007) Professor Sassone has held leadership roles in the academic community, serving as Programme Chair for IFIP-TCS 2010 (Track B), ICALP 2006 (Track B), and FOSSACS 2005. He previously served as Head of Department at the University of Sussex and has held academic positions at several prestigious institutions including University of Sussex, IT University Copenhagen, Università di Catania, Queen Mary London, and Università di Pisa.
