Research Areas: 

• Embedded and cyber-physical systems
• Model development and analysis
• Perception
• Verification