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
  I am looking for students and postdocs!
  Please email me for more info.  
  Contact Information  

Biography   |  Publications   |  Talks   |  Projects   |  Teaching   |  Software   |  Events   |   CV (in PDF)

Areas of Interest

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


38 according to Google Scholar.

Recent and selected papers:

Selected Recent Talks:



Recent courses:


Tools that I have contributed to or exclusively developed:

Other Professional Activities

PC member, upcoming conferences:

A complete list of my professional activities is available in my CV.