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