Adjunct Associate Professor and Associate Researcher
Department of Electrical Engineering and Computer Sciences
University of California, Berkeley
Department of Information and 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: 43 on Google Scholar.
Recent and selected papers:
SoftwareTools that I have contributed to or exclusively developed:
Other Professional Activities