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