Fulvio Valenza is an Assistant Professor (Fixed-Term Tenure-Track, RTD-B) at the Department of Control and Computer Engineering (DAUIN) , Polytechnic University of Turin . He is a member of the NETGROUP - Computer Networks Group and teaches courses such as Security of next-generation networks and Data Protection, Privacy, and Anonymity across multiple degree programs including Cybersecurity Engineering and Computer and Systems Engineering. Research Interests: Cybersecurity, Network Security, Security Automation, Distributed Systems, Quantum Cryptography Projects: MIRANDA (EU-funded cybersecurity research), Commercial contracts for "ESCAPE" seminar organization Research Trends in his publications focus on security automation in virtualized/cloud environments, formal verification of network policies, and optimization of security configurations for industrial and automotive systems. His work bridges theoretical methods (e.g., formal verification) with practical deployments (e.g., Kubernetes security, VNF placement). Teaching spans both the Polytechnic University of Turin and the University of Eastern Piedmont (2020-2022), covering topics in network security, cloud technologies, and cybersecurity.
Enrico Tronci is a Full Professor in the Department of Computer Science at Università degli Studi di Roma La Sapienza , Italy. His research focuses on model checking, formal verification, and synthesis of cyber-physical systems, with applications to mission-critical and safety-critical domains such as space systems, smart grids, and healthcare. He leads the Model Checking Lab (MCLab) and has coordinated numerous national and international research projects funded by organizations including the European Community (EC), European Space Agency (ESA), and Italian Ministry of University and Research (MUR). Research Highlights : Automatic control software synthesis from closed-loop specifications Model checking algorithms for hybrid and stochastic systems Technology transfer in sectors like energy, transportation, and aerospace Teaching : Undergraduate: Software Engineering (Fall 2024) Graduate: Automatic Verification of Intelligent Systems (Fall 2024), Verification and Validation of Intelligent Systems (Spring 2025) Scientific Awards : Recipient of the IBM-Italia 1987 prize for best thesis in Artificial Intelligence Publications Trends : 2024: Scaling up model checking for cyber-physical systems via HPC 2023: Hormonal impact on behavior and fault-tolerant sensor deployments 2021-2022: In silico clinical trials, smart grid management, and scenario enumeration 2020: AI-guided diabetes patient modeling and forensic psychiatry applications Software Tools : QKS (Quantized Kontrol Synthesizer) NashMV (MAD systems verification) CMurphi (Hybrid systems model checker) FHP-Murphi (Probabilistic verification) BSP (Boolean symbolic programming)
Francisco Facchinei is a Professor at Sapienza University of Rome, affiliated with the Department of Computer, Automatic and Management Engineering Antonio Ruberti within the College of Engineering. His research spans nonlinear and non-differentiable optimization, complementarity problems, variational inequalities, and game theory applications in telecommunications. His work focuses on developing algorithms for nonconvex optimization with ghost penalties, asynchronous distributed methods, and applications in healthcare and communications systems. Key Contributions: Foundational work in variational inequality theory, generalized Nash equilibrium problems, and optimization over dynamic networks. Recent Trends: Emphasis on asynchronous parallel algorithms, stochastic optimization, and non-invasive medical diagnostics via machine learning. He has held academic positions at Sapienza University since 1990, progressing from Ricercatore to Professore Ordinario. No scientific awards are explicitly mentioned in the provided texts.
Gilbert Babin is a Professor of Information Technologies at HEC Montréal, where he is affiliated with GRESI, ERPsim Lab, and Tech3Lab. He has been cited 1331 times according to Google Scholar, indicating significant scholarly impact in his field of research. His research interests span several key areas in information systems and business technology: Enterprise Resource Planning (ERP) systems Business simulation and serious games Cognitive aspects of information systems use Business intelligence and analytics Operations management education Professor Babin's work demonstrates a strong focus on the intersection of information technology and business processes, particularly through simulation-based approaches. His publication history shows an evolution from technical optimization problems (1996-2007) to applied business contexts (2010-2012), with his most recent work exploring the integration of neuroscientific approaches with enterprise systems. His research on ERP simulation games has been particularly influential, with his 2011 paper receiving 132 citations. His current research trajectory includes innovative cross-disciplinary work combining information systems with cognitive neuroscience, examining how brain-computer interfaces can enhance sustained attention in business contexts. This represents a cutting-edge direction that bridges traditional information systems research with emerging neurotechnologies.
Cosimo Solidoro is an Oceanographer and marine ecologist who currently serves as Director of the Oceanography department at OGS (Istituto Nazionale di Oceanografia e di Geofisica Sperimentale). He is also a Professor of 'Ocean Models and Data Analytic' at the University of Trieste, a member of the PhD school in Life Science (Trieste), and of the national PhD school on Earth Observations (Rome Sapienza). His extensive professional engagements include serving as president of the International Society of Ecological Modelling - European Chapter, Italian National Representative of IGBP program IMBER, member of the European Marine Board, and member of the executive board of the European consortium Euromarine. Professor Solidoro's research spans coastal areas, lagoons, and open sea ecosystems, focusing on the impacts of climate change, anthropogenic forcing, and natural phenomena on biodiversity and ecosystem functioning. His work integrates quantitative approaches to sustainability, complex system theory, and ecological-socio-economical systems. He has made significant contributions to developing ocean models and data analytics approaches, particularly applied to the Mediterranean Sea region. His research methodology combines advanced computational modeling with empirical data analysis, often taking an interdisciplinary approach that bridges physical, biological, and social dimensions of marine systems. His publication record shows a strong focus on Mediterranean marine ecosystems, with particular attention to the Venice Lagoon. Recent work (2022-2023) addresses climate change impacts including acidification, deoxygenation, and extreme weather events like Medicane Apollo. Earlier work established foundational models for lagoon ecosystems, mercury cycling, and phytoplankton dynamics. His research demonstrates a progression from developing basic hydrodynamic and ecological models toward increasingly integrated approaches that address sustainability challenges through coupled ecological-socio-economic frameworks. Professor Solidoro has received notable recognition including the Prigogine junior medal (2006) and co-recipient of Denni medals (2008). He serves on the editorial boards of Ecological Modelling, Ecological Informatics, Frontiers in Marine Science, and Bulletin of Oceanography, reflecting his standing in the marine science community. With over 200 research papers published, Professor Solidoro has successfully guided numerous students and postdocs who now hold research positions globally. His current involvement in major initiatives like Extended Partnership RETURN, National Center Future Biodiversity, INEST, and ITINERIS demonstrates continued research leadership. His work as a Lead Author for IPBES assessments highlights the policy relevance of his research. Professor Solidoro maintains an active international network through visiting positions at institutions including Berkeley, IIASA, DTU, and PML.
