Roberto Segala

Roberto Segala is a Full Professor at the Department of Computer Science, University of Verona. His academic career spans over two decades, with a focus on formal methods and theoretical computer science.

• Academic Sector: INFO-01/A - Informatics
• Research Interests: Algorithms, Security, Cryptography, Hybrid Systems, Formal Verification

Research Highlights: He specializes in concurrent stochastic and hybrid models for distributed systems, with applications in cloud computing security, autonomous vehicles, and cryptographic protocols. His work includes development of Probabilistic Automata and Hybrid I/O Automata.

Teaching: Roberto has taught courses like Algorithms and Cryptography across multiple academic years (2000-2025), covering both undergraduate and graduate levels.

Leadership Roles: Actively involved in departmental governance as a member of the Computer Science Teaching Committee and Department Council.