For her outstanding work in hybrid systems, a theoretical area very important to robotics, Professor Necmiye Ozay has received a major best paper award. The details of her award are here. Necmiye’s work on Correct-by-Design Control Software Synthesis is aimed at breaking down the barriers that have prevented this field from tackling important industrial problems. In the paper, she and her co-author develop finite abstractions that are equipped with robustness margins, allowing sensing and model imperfections to be addressed in a formally correct manner. They apply the results to Adaptive Cruise Control, an important Automated Drive Assist System, and point out other important applications in robotics and autonomous vehicles.