Research

Research interests

My research activities in Software and Systems Engineering focus on:

  • Model-Driven Engineering (MDE)
  • Domain-Specific (Modeling) Language
  • Model Verification & Validation
  • Formal verification
  • Model checking

The main application domains include safety critical embedded systems, Cloud Computing and Internet of Things (IoT).

Tools and methods