Email : ivan.cibrario [at] ieiit.cnr.it

Research Interests

Techniques And Tools For The Analysis of Networks And Complex Systems

Industrial Communication Systems

Real-Time And Embedded Systems


Phone : +39 011 0905426
Fax : +39 011 0905429
Site :Torino
Position : Researcher


Ivan Cibrario Bertolotti received the Laurea degree (summa cum laude) in computer science from the University of Torino, Torino, Italy, in 1996. Since then, he has been a Researcher with the Italian National Research Council (CNR). Currently, he is with the Istituto di Elettronica e di Ingegneria dell'Informazione e delle Telecomunicazioni (IEIIT), Politecnico di Torino, Torino, Italy. He also teaches several courses on real-time operating systems at Politecnico di Torino. He has served as a technical referee for several international conferences and journals. Since 1997, he has been a member of the IEEE Computer Society and he is an IEEE member since 2006. His current research interests include real-time operating system design and implementation, industrial communication systems and protocols, and formal methods for cryptographic protocol analysis and verification.