Adjunct Associate Professor and Associate Researcher
Department of Electrical Engineering and Computer Sciences
University of California, Berkeley
Department of Information and Computer Science
I am looking for students and postdocs!
Please email me for more info.
Areas of InterestSystem Modeling, Verification, Testing and Synthesis; Abstraction and Compositionality; Semantics-Preserving Implementation; Embedded and Cyber-Physical Systems.
H-index:38 according to Google Scholar.
Recent and selected papers:
Selected Recent Talks:
SoftwareTools that I have contributed to or exclusively developed:
Other Professional Activities
PC member, upcoming conferences:my CV.