Stavros Tripakis

  Adjunct Associate Professor
  Department of Electrical Engineering and Computer Sciences
  University of California, Berkeley
  Full Professor
  Department of 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.

H-index: 45 on Google Scholar.

Recent and selected papers:

Selected Talks:




Tools that I have contributed to or exclusively developed:

Other Professional Activities

Recent/upcoming events:

Older events: