News

Dec 11, 2025 Talk at IEEE Conference on Decision and Control (CDC) 2025: “Incentive Design for Safe Nash Equilibrium Learning in Large Populations via Control Barrier Functions” 🎤
Dec 08, 2025 Paper on contract-based architecture exploration accepted at DATE 2026! 🎉
Aug 22, 2025 Completed summer internship at Amazon Web Services developing LLM-based Infrastructure-as-Code frameworks.
Aug 20, 2025 Invited talk at IJCAI 2025 Workshop on User-Aligned Assessment of Adaptive AI Systems in Montreal, Canada 🎤
Jun 15, 2025 Research on safe Nash equilibrium learning accepted at IEEE Conference on Decision and Control (CDC) 2025! 🚀
Mar 15, 2025 Paper on fairness verification of neural networks accepted at IJCAI 2025! ✨
Mar 20, 2024 Our paper “Efficient Exploration of Cyber-Physical System Architectures” won Best Paper Award at DATE 2024! 🏆