My current research is primarily on:
- Cyberphysical systems: digitalization, digital twins and control.
- Embedded systems: software design, hardware synthesis, acceleration, FPGA.
- Real-time systems: scheduling theories, dynamic and intelligent scheduling.
- AI and machine learning: state estimation and performance optimization.
- Formal methods for safety and security.
- Application domains: automotive, robotics, energy systems, ...
