Paper co-authored by Sanjit Seshia and Alexandre Donze receives 2017 IEEE Transactions on CAD Donald O. Pederson Best Paper Award

A paper co-authored by Prof. Sanjit A. Seshia and postdoctoral researcher Dr. Alexandre Donze, along with researchers from Toyota, has been selected for the 2017 IEEE Transactions on CAD Donald O. Pederson Best Paper Award. This award recognizes the best paper published in the Transactions on Computer-Aided Design of Integrated Circuits and Systems publication. Donald O. Pederson was a professor of electrical engineering in EECS and one of the designers of SPICE, the canonical integrated circuit simulator. The paper, entitled “Mining Requirements from Closed-Loop Control Models“, received this recognition at the 54th Design Automation Conference.