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
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.
Areas of Research / Professional Expertise
Real-time operating systems,
Real-time communication protocols,
Model checking of real-time systems