معرفی
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.
