Stavros Tripakis

Associate Professor, Northeastern University
Joined
July 2019

Names

Stavros Tripakis (Preferred)

Emails

****@northeastern.edu (Confirmed)
, 
****@northeastern.edu (Confirmed)
, 
****@gmail.com (Confirmed)

Personal Links

Career & Education History

Associate Professor
Northeastern University (northeastern.edu)
2018 – Present
Full Professor
Aalto University (aalto.fi)
2017 – 2018
Associate Professor
Aalto University (aalto.fi)
2012 – 2017
Researcher
University of California, Berkeley (berkeley.edu)
2009 – 2012

Advisors, Relations & Conflicts

No relations added

Expertise

Formal methods
Present
Formal verification
Present

Publications

Co-Authors