Guillermo Rodriguez-navas

Tel Aviv, Israel

Research Interests


Guillermo received a PhD in Computer Science by the University of the Balearic Islands (UIB), Spain, in 2010. His research has covered various aspects of the design and verification of dependable distributed embedded systems, particularly in domains such as factory automation, transportation and automotive. He is an expert in fault tolerance and dependability analysis and has worked on formal specification/verification of embedded software for automotive. He worked also on real-time communication networks such as the CAN fieldbus and real-time Ethernet, addressing dependability aspects such as schedule repairs, fault-tolerant clock synchronization and data consistency. His last appointment has been as Senior Lecturer at the School of Innovation, Design and Engineering of the Malardalen University (MDH) in Sweden. He is particularly interested in the integration of IT/OT technologies and the challenges associated to their application in safety-critical intelligent systems. 


Telecommunications Engineering (MSc.), speciality in Telematics. Universidade de Vigo, Spain. 2001

PhD in Computer Science. University of the Balearic Islands, Spain. 2010