News Item
Featured People
Luan Viet Nguyen
Gautam Mohan
James Weimer
Oleg Sokolsky
Insup Lee
Rajeev Alur
PRECISE's team won best paper award at Memocode
Thursday, October 10, 2019
Luan Nguyen, Gautam Mohan, James Weimer, Oleg Sokolsky, Insup Lee and Rajeev Alur won Best Paper Award on their "Detecting Security Leaks in Hybrid Systems with Information Flow Analysis" at ACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE), 2019.
Congratulations to Luan and all!