Ivan has been a Researcher with the National Research Council of Italy, Institute of Electronics, Computer and Telecommunication Engineering (CNR-IEIIT), since 1996 and has been adjunct professor of real-time operating systems at Politecnico di Torino, Turin, Italy, for a decade. He has coauthored two books on real-time operating systems and embedded software development, and serves as a Technical Referee for primary international conferences and journals. His 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.