Chiara Bodei

Chiara Bodei is an Associate Professor at the Department of Computer Science, University of Pisa. She specializes in cybersecurity, formal methods, and programming languages. Her teaching responsibilities include courses such as 'Programming Fundamentals with Laboratory' and 'Security Methods and Verification' at both undergraduate and graduate levels. She has contributed to research in automotive cybersecurity, IoT security, and formal analysis of software systems. Her work emphasizes secure communication protocols, privacy policies in automotive data, and context-aware security mechanisms. She collaborates with industry and academia on projects related to software-defined vehicles and IoT security. Her research has been published in top-tier conferences and journals, focusing on practical and theoretical advancements in computer security and formal methods.

Research Interests: Cybersecurity, Formal Methods, Automotive Systems Security, IoT Security, Programming Languages, Context-Aware Systems. She has co-authored numerous papers on topics such as vehicular communication security, secure automotive protocols, and privacy in IoT systems.

Teaching: Bodei has taught courses like 'Fondamenti di Programmazione' (undergraduate), 'Security Methods and Verification' (graduate), and 'Language-Based Technology for Security' (master’s level) across multiple academic years. She emphasizes practical programming skills and theoretical foundations in her courses.

Labs/Teams: Her work is supported by the Department of Computer Science labs at the University of Pisa, focusing on applied research in cybersecurity and formal systems.