Adjunct Associate Professor
Department of Electrical Engineering and Computer Sciences
University of California, Berkeley
Department of Computer Science
My Aalto page
Areas of InterestSystem Modeling, Verification, Testing and Synthesis; Abstraction and Compositionality; Semantics-Preserving Implementation; Embedded and Cyber-Physical Systems.
H-index: 45 on Google Scholar.
Recent and selected papers:
SoftwareTools that I have contributed to or exclusively developed:
Other Professional Activities