My research interests include distributed, embedded, and cyber-physical systems and software, Internet-of-Things, robotics, and methods and tools for model-based development and test generation for embedded real-time systems, and industrial applications.