| Jun 16, 2026 | Our paper titled Safety Reference Benchmarks with Avoidability Criteria for Evaluating Autonomous Driving Systems has been accepted for publication in the 37th IEEE International Symposium on Software Reliability Engineering (ISSRE 2026). A preprint is available here. |
| 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. |