Roberto Guanciale

Roberto Guanciale is a Lecturer at KTH Royal Institute of Technology, affiliated with the Department of Theoretical Computer Science under the School of Electrical Engineering and Computer Science. He teaches and examines courses such as Cybersecurity Overview, Software Security, Applied Cryptography, and Degree Projects focusing on cybersecurity, communication systems, and distributed software engineering.

His research interests lie in cybersecurity, formal verification, and software engineering for distributed systems. His recent publications address formal methods for securing P4 programs, symbolic execution for binary verification, and flow security in microarchitectures. These works emphasize rigorous mathematical approaches to network and hardware security.

Teaching Roles:

• Cybersecurity Overview Course (DD2391) - Course Manager
• The Role of the Cybersecurity Engineer (DD2303) - Teacher
• Software Security (DD2460) - Teacher
• Project in Cybersecurity (DD2394) - Examiner and Course Coordinator