Paolo Ballarini is a Professor specializing in stochastic modeling, formal verification, and computational biology. He leads the Paolo Ballarini Laboratory for Mathematics and Computer Science for Complexity and Systems , focusing on interdisciplinary research at the intersection of computer science and life sciences. His work spans probabilistic systems analysis, statistical model checking, and algorithm design for complex networks. Research interests include stochastic process discovery, parameter estimation in biological systems, and performance evaluation of wireless networks. His contributions to formal methods have advanced applications in healthcare systems, manufacturing processes, and genetic network analysis. Key technical developments include the COSMOS platform for statistical model checking and the HASL formal language for specifying verification properties. His work bridges theoretical foundations with practical tools for analyzing real-world systems under uncertainty. Ballarini’s recent studies emphasize Bayesian methods for biological pathway inference and optimization-based approaches to stochastic process discovery. His collaborations span academia and industry, addressing challenges in network security, distributed systems, and systems biology.
Vincenzo Ciancia is a researcher at ISTI-CNR in Pisa, working within the Formal Methods & Tools Laboratory. He has previously worked at IIT-CNR (Pisa), ILLC (University of Amsterdam), and Universidad Complutense (Madrid). He received his Ph.D. in 2009 from the Department of Computer Science at the University of Pisa under Prof. Ugo Montanari, focusing on coalgebras, presheaf categories, and history-dependent automata. Research Interests Formal Methods in Computer Science Spatial Logics and Spatio-Temporal Model Checking Coalgebras and Category Theory GPU-accelerated Model Checking Medical Imaging Applications Projects EU NRPP THE (Tuscany Health Ecosystem) MUR PRIN STENDHAL (Spatio-Temporal Enhancement of Neural Nets) Bilateral CNR-SRNSF (Georgia) - Model Checking for Polyhedral Logics MUR PRIN IT-MATTERS (Trustworthy Smart Systems, completed) Scientific Tools VoxLogicA: Spatial model checker for medical imaging Topochecker: Topological model checker for evolving systems
Marie-Christine ROUSSET is a Professor of Computer Science at the University of Grenoble Alpes (UGA) in France, where she is a member of the LIG (Laboratoire d'Informatique de Grenoble) in the SLIDE group. Previously affiliated with Paris-Saclay (LRI), she has established herself as a leading researcher in Knowledge Representation and Information Integration. She holds the distinguished position of Senior member of the Institut Universitaire de France (IUF) (2011-2016, renewed for 2016-2021) and serves as co-responsible for the chair Explainable and Responsible AI within MIAI Grenoble Alpes. Her research focuses on ontology-based data access, logic-based mediation between distributed data sources, query rewriting using views, data linkage, and distributed reasoning for the Semantic Web. She skillfully combines artificial intelligence and database techniques to address complex information integration challenges, with applications spanning biomedical informatics, educational technology, and trustworthy AI. Her work demonstrates consistent innovation from foundational research to practical implementations, as evidenced by her co-authorship of the book 'Web Data Management' published by Cambridge University Press. Professor ROUSSET's recent publications (2019-2022) reveal a growing emphasis on data privacy, RDF graph anonymization, and interactive ontology engineering, while maintaining her strong contributions to semantic web technologies and knowledge representation. Her research shows increasing attention to trustworthy AI concerns, aligning with her leadership roles in relevant projects. Scientific Recognition Senior member of Institut Universitaire de France (IUF) (2011-2016, renewed for 2016-2021) Junior member of Institut Universitaire de France (IUF) from 1997 to 2002 Chevalier de l'Ordre National du Merite (July 11, 2011) EurAI Fellow (nominated ECCAI Fellow in 2005) Best Paper Award at AAAI'96 for 'Verification of Knowledge Bases based on Containment Checking' Professor ROUSSET maintains an active role in the scientific community through editorial work and organizational leadership. She serves on the Editorial Board of Communications of the ACM (CACM) and has held significant roles including PC chair of EGC 2019, Workshops co-Chair of WWW 2018, and Area Chair of IJCAI 2017. Her consistent service on program committees of major international conferences demonstrates her standing in the field. Her laboratory, the SLIDE group within LIG, focuses on semantic web technologies, knowledge representation, and data integration. The group maintains strong connections with the international research community and participates in collaborative projects addressing cutting-edge challenges in artificial intelligence and data management, with particular emphasis on trustworthy and explainable AI systems.
