| Apr 13, 2026 | Our paper titled From Simulation to Verification: A Flexible Interface for Scenario Description in Autoware Autonomous Driving Ecosystem has been accepted for publication in the 50th IEEE International Conference on Computers, Software, and Applications (COMPSAC 2026). |
| Apr 01, 2026 | I’m delighted to announce that I have been appointed Assistant Professor at JAIST. |
| Apr 14, 2025 | Our paper titled Safety Analysis of Autonomous Driving Systems: A Simulation-based Runtime Verification Approach has been accepted for publication in IEEE Transactions on Reliability. A press release has been issued to announce this achievement. |
| Apr 02, 2025 | Our paper, Proof Scores: A Survey, which I co-authored, has been accepted for publication in ACM Computing Surveys. A press release has been issued to announce this achievement. |
| Apr 01, 2025 | I was appointed as a Research Assistant Professor. |
| Apr 01, 2025 | Our paper titled Enhancing Decision-making Safety in Autonomous Driving Through Online Model Checking has been accepted for publication in the 11th International Conference on Rigorous State Based Methods (ABZ 2025). |
| Jun 01, 2024 | I moved to Tomita and Aoki’s research group, working on the Formal Methods and Verification Tools for Next-generation Automotive System Platforms research project. |
| Oct 01, 2023 | I started working as a Postdoctoral Researcher in Ogata lab, JAIST. |
| Sep 22, 2023 | I earned a Ph.D. in Information Science from JAIST and was honored with the Outstanding Student Award. |