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   |   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

Recent/upcoming events:

Older events:

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