news
| Aug 25, 2026 | Aashrut Jain won Jo Anne and David Kelch ’60 Undergraduate Research Award for his research in semantic safety aware navigation. Congratulations Aashrut! |
|---|---|
| Jun 01, 2026 | Shiqian Xu won Victor Peng ‘81 Summer Research Project Award for her research on robustness evaluation of neural network controllers. Congratulations Shiqian! |
| May 15, 2025 | Esen is co-organizing Workshop on Formal Verification of Control Systems with Neural Network Components at ACC 2025! |