Monday, April 6, 2020
Congratulations to Yinan for winning the 2020 Huawei Prize for Best Research Paper by a Mathematics Graduate Student for her work on formal methods for nonlinear control design!
For more details, see news release here.