In general, I am interested in modeling and design methods for real-time embedded and cyber-physical systems. I favor a design flow starting from abstract formal models with well-defined semantics followed by a correct-by-contruction design flow. Automated design-space exploration is a key interesting step in such a flow.
I have served as reviewer for the following journals.
(partial list available via my Publons profile)
I have also served as a technical committee member of
Courses, I teach/taught:
Design and Analysis of Real-Time Embedded Systems (MSc.)
Computer Architecture (BSc.)
Fundamentals of Embedded and Real-Time Systems (BSc.)