Write a Blog >>
SPIN 2017
co-located with ISSTA 2017
Stavros Tripakis

Registered user since Mon 31 Oct 2016

Name: Stavros Tripakis

Country: Finland

Affiliation: Aalto University and UC Berkeley

Personal website: https://people.eecs.berkeley.edu/~stavros/

Research interests: Formal methods, System design, Cyber-physical systems

Contributions

SPIN 2017Committee Member in Program Committee
Show activities from other conferences

ISSTA 2017-profile
View general profile