Research Interests include,

• Real-time Systems
• Embedded Software
• Software Verification and Validation
• Internet of Things
• Safety-Critical Software