Picture of Guillermo Rodriguez-navas

Guillermo Rodriguez-navas

Tel Aviv, Israel
Researcher

Education

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

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

Biography

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. 

Research Interests

  • Artificial Intelligence
  • Distributed Systems & Controls
  • IoT/M2M
  • Network Architecture & Design
  • Software Platforms
  • Sustainability