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

• Automatic Completion of Distributed Protocols with Symmetry Rajeev Alur, Mukund Raghothaman, Christos Stergiou, Stavros Tripakis, Abhishek udupa CAV 2015
• Synthesizing Finite-state Protocols from Scenarios and Requirements Rajeev Alur, Milo Martin, Mukund Raghothaman, Christos Stergiou, Stavros Tripakis, Abhishek udupa HVC 2014
• On the Schedulability of Real-Time Discrete-Event Systems Eleftherios Matsikoudis, Christos Stergiou, Edward A. Lee EMSOFT 2013
• On the Verification of Timed Discrete-Event Models Christos Stergiou, Stavros Tripakis, Eleftherios Matsikoudis, Edward A. Lee FORMATS 2013
• Error-Completion in Interface Theories Stavros Tripakis, Christos Stergiou, Manfred Broy, Edward A. Lee SPIN 2013
• A Modular Formal Semantics for Ptolemy Stavros Tripakis, Christos Stergiou, Chris Shaver and Edward A. Lee
  Mathematical Structures in Computer Science
• Testing Concurrent Programs on Relaxed Memory Models Jacob Burnim, Christos Stergiou, Koushik Sen ISSTA 2011
• Sound and Complete Monitoring of Sequential Consistency in Relaxed Memory Models Jacob Burnim, Christos Stergiou, Koushik Sen TACAS 2011
• Checking Non-Interference in SPMD Programs Stavros Tripakis, Christos Stergiou, Roberto Lublinerman HotPar 2010
• Looper: Lightweight Detection of Infinite Loops at Runtime Jacob Burnim, Nicholas Jalbert, Christos Stergiou, Koushik Sen ASE 2009