Christos Stergiou CV
I graduated from Berkeley in the Fall of 2013.
I am now a postdoc for ExCAPE working with Stavros Tripakis and Rajeev Alur.
Contact
Contact me at:
Interests
Cyber-Physical Systems, Program Verification and Synthesis, Parallel and Distributed systems,
Real-Time Systems, Relaxed Memory Models
Publications