BIFOLD Talk: Gregorio Díaz

Title: Towards Trustworthy Decision Making in Dynamic Systems - Integrating AI, Stream Processing, and Formal Methods

Abstract: Supporting decision making in dynamic systems requires combining information from multiple heterogeneous sources while ensuring that the resulting recommendations remain reliable, explainable, and trustworthy. Recent advances in Artificial Intelligence, stream processing, and Formal Methods provide complementary capabilities to address different aspects of this challenge.
This talk discusses how these technologies can be combined to support decision making in dynamic environments. Rather than focusing on individual techniques, the emphasis is on how they complement each other to assist human experts in safety-critical scenarios, where transparency, correctness, and timely responses are essential. As a representative case study, I will present recent work on Intelligent Transportation Systems for emergency management, illustrating how AI-assisted perception, explainable machine learning, scalable route planning, and formal reasoning can be integrated to support emergency response during natural disasters. This example serves to discuss both the opportunities and the challenges of developing trustworthy decision-support systems for complex dynamic environments. Finally, I will outline how these ideas relate to current research on continuous stream processing and discuss possible directions for future collaboration between the University of Castilla-La Mancha and the DIMA/BIFOLD research groups.

Bio: Gregorio Díaz is Full Professor of Computer Science at the University of Castilla-La Mancha (Spain) and Head of the ReTiCS Research Group. His research interests include Artificial Intelligence, Formal Methods, Complex Event Processing, and distributed systems, with a particular interest in supporting trustworthy decision making in dynamic environments. His work has been applied to areas including intelligent transportation systems, emergency management, context-aware computing, and service-oriented systems. He has participated in numerous national and international research projects and has authored more than 70 scientific publications in software engineering, distributed systems, and intelligent systems.