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.
My h-index is 44: Google Scholar page.
I joined Aalto University in August 2012. I am also an Adjunct Associate Professor at the EECS Department of UC Berkeley.
Our group is working, among other things, on the Refinement Calculus of Reactive Systems (RCRS).