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 National Research Council of Italy (CNR). Currently,
he is with the Istituto di Elettronica e di Ingegneria dell’Informazione e delle Telecomunicazioni
(IEIIT), Torino.

He teaches several undergraduate and graduate courses on real-time operating systems at Politecnico di Torino, Torino, and has served as a technical referee for several international conferences and journals.

His current research interests include real-time operating system design and implementation, industrial communication systems and protocols, and formal methods for vulnerability and dependability analysis of distributed systems.

Ivan Cibrario Bertolotti has been a member of the IEEE Computer Society since 1997 and a member of the IEEE since 2006.
Laurea (summa cum laude), University of Turin, Turin, Italy, 1996
Areas of Research / Professional Expertise
Embedded system design,
Real-time operating systems,
Real-time communication protocols,
Model checking of real-time systems