NEWS: I have joined Northeastern University!
I am interested in the foundations of system design. My research currently focuses on formal methods, computer-aided verification and synthesis, system modeling and simulation, and compositionality. My work involves developing theory and building tools for designing better (and better designing) systems. Application domains include safety-critical systems, embedded systems, and cyber-physical systems.
I joined Aalto in August 2012. My h-index is 45: Google Scholar page.