Award Received: IEEE CSS Antonio Ruberti Young Researcher Prize Date Awarded: 2015 Paulo Tabuada Citation: For contributions to the analysis and design of cyber-physical systems
