FEATURED AUTHOR
Ivan Cibrario Bertolotti
Ivan Cibrario Bertolotti has been a Researcher with the National Research Council of Italy (CNR) since 1996. 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.
Biography
Ivan Cibrario Bertolotti received the Laurea degree (summa cum laude) in computerscience 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.
Education
-
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