Yasser Shoukry, former Ph.D. student of Profs. Tabuada and Srivastava and current postdoc in Prof. Tabuada’s group, won the best paper award at the 7th International Conference on Cyber-Physical Systems for his work on security of cyber-physical systems using SMT solvers and multi-modal Luenberger observers.  Congratulations!