Stavros Tripakis

  Adjunct Associate Professor and Associate Researcher
  Department of Electrical Engineering and Computer Sciences
  University of California, Berkeley
  Associate Professor
  Department of Information and Computer Science
  Aalto University
  My Aalto page
  Contact Information  

Biography   |  Publications   |  Talks   |  Projects   |  Teaching   |  Software   |  Events

Areas of Interest

System Modeling, Verification, Testing and Synthesis; Abstraction and Compositionality; Semantics-Preserving Implementation; Embedded and Cyber-Physical Systems.


40 on Google Scholar.

Recent and selected papers:

Selected Recent Talks:




Tools that I have contributed to or exclusively developed:

Other Professional Activities

Recent/upcoming events:

Older events: