Gigliola Vaglini

Gigliola Vaglini is Full Professor of Computer Engineering at the University of Pisa's Department of Information Engineering. She teaches Software Systems Engineering and Databases, with research focusing on formal specification and verification of concurrent/distributed systems. Her work integrates model checking methodologies with machine learning techniques for industrial anomaly detection and mobile security applications. She has participated in multiple research projects funded by the Italian Ministry of University and Research, National Research Council, and European Community.

Research Focus: Vaglini's work bridges theoretical computer science and practical applications, developing verification frameworks for complex systems while creating AI solutions for real-world problems. Her current investigations span swarm intelligence coordination, structural monitoring via digital twins, and multimodal deep learning architectures.

Recent publications demonstrate cross-disciplinary approaches combining formal methods with machine learning, particularly in environmental monitoring, structural engineering, and neural architecture design. This reflects a consistent pattern of translating theoretical computer science concepts into applied technological solutions.