Stavros Tripakis

  Adjunct Associate Professor and Associate Researcher
  Department of Electrical Engineering and Computer Sciences
  University of California, Berkeley
 
  I am looking for students and postdocs!
  Please email me for more info, or consider applying directly here and here.  
 
  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.

H-index:

38 according to Google Scholar.

Recent and selected papers:

Selected Recent Talks:

Projects

Teaching

Recent courses:

Software

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.