Mario Bravetti

Mario Bravetti is a Full Professor at the Department of Computer Science and Engineering, University of Bologna. His academic discipline is Informatics (INFO-01/A). He specializes in formal methods, process calculi, and distributed systems, with a focus on session types, microservices architecture, and formal verification of software systems. His research bridges theoretical foundations with practical applications in cloud computing, edge computing, and industry 4.0.

Research interests include:

• Session types and behavioral contracts
• Formal semantics of concurrent systems
• Microservices deployment and orchestration
• Low-latency anomaly detection in industrial IoT
• Formal verification tools for programming languages

His recent work emphasizes proactive-reactive scaling strategies for microservices and the integration of formal methods into cloud-native architectures. He has contributed to projects like SEAWALL and the BETTY COST Action, advancing software reliability in large-scale systems.

His articles highlight advancements in session subtyping algorithms, typestate systems for Java, and edge-cloud continuum optimizations. He has served as a guest editor for journals on service-oriented architectures and formal methods.