news
| Nov 22, 2024 | 🎉 My paper has been accepted as a full paper in the Programming Language track at ACM SAC 2025. See you in Italy in April 2025. |
|---|---|
| Oct 08, 2024 | 🎤 I was invited to Hannam University and gave a seminar titled “Model-Based Software Engineering Approaches for the Verification of Autonomous Mobility.” |
| Feb 14, 2024 | 👋 My new homepage is open! |
| Feb 05, 2024 | 🚧 My homepage is under construction. |