Ivan Cibrario  Bertolotti Author of Evaluating Organization Development
FEATURED AUTHOR

Ivan Cibrario Bertolotti

Researcher
National Research Council of Italy, IEIIT

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 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.

Education

    Design of high-reliability, embedded real-time systems.
    Design and verification of communication protocols for real-time, embedded systems.

Areas of Research / Professional Expertise

    Embedded system design,
    Real-time operating systems,
    Real-time communication protocols,
    Model checking of real-time systems

Websites

Books

Featured Title
 Featured Title - Real-Time Embedded Systems - 1st Edition book cover