News
| May 14, 2025 | 🎓 I have successfully defended my doctoral dissertation and been awarded the Ph.D. degree. |
|---|---|
| May 08, 2025 | 🏆 Our paper “Runtime Enforcement of CPS against Signal Temporal Logic” was selected as one of the two Best Paper Candidates in HSCC 2025. |