KTH Royal Institute of Technology
Assistant Research Engineer
My research focuses on model-based design of time-aware
systems, including cyber-physical systems, embedded systems, and
real-time systems. In particular, I am interested in modeling language
theory, formal semantics, compilers, and run-time systems where time
and timing are correctness factors. Please see the following page
for an overview of my research.