| Nov 26, 2024 | Our paper, titled Automated Quantum Protocol Verification Based on Concurrent Dynamic Quantum Logic, has been accepted for publication in ACM Transactions on Software Engineering and Methodology (ACM TOSEM) and selected for a JAIST press release (link).  |
| Sep 27, 2024 | I am delighted to have the opportunity to visit Prof. Santiago Escobar at Universitat Politècnica de València (UPV) in Valencia for about one month (27 September 2024 - 26 October 2024) to conduct research on formal specification and verification of post-quantum cryptographic protocols, variant-based unification, and narrowing.  |
| Sep 19, 2024 | I am honored to give a talk on Optimization Techniques for Model Checking Leads-to Properties in a Stratified Way for an invited paper at IPSJ/SIGSE Software Engineering Symposium (SES2024) (slides). |
| Sep 10, 2024 | Our application for Kakenhi Joint International Research (B) FY2024 was accepted. |
| Sep 9, 2024 | Our paper about A Tableau-based Approach to Model Checking Linear Temporal Properties has been accepted for publication at the 25th International Conference on Formal Engineering Methods (ICFEM 2024). |
| Jul 2, 2024 | I am honored to give a talk on Automated Quantum Protocol Verification Based on Concurrent Dynamic Quantum Logic at La Trobe-Kyushu Joint Seminar on Mathematics for Industry (slides). |
| Jun 27, 2024 | Our application for JAIST Research Grant FY2024 for Fundamental Research was accepted. |
| Jun 25, 2024 | Our paper about Symbolic Model Checking Quantum Circuits in Maude has been accepted for publication in PeerJ Computer Science and selected for a JAIST press release (link). |
| May 31, 2024 | Our paper Equivalence Checking of Quantum Circuits Based on Dirac Notation in Maude was selected as Best Paper/Presentation Award for Young Researcher in WRLA 2024 (link). |
| Feb 29, 2024 | Our application for Kakenhi Early-Career Scientists FY2024 was accepted. |
| Oct 5, 2023 | This website was published. |
| Aug 31, 2023 | Our application for Kakenhi Research Activity Start-up FY2023 was accepted. |
| Jul 5, 2023 | Our application for JAIST Research Grant FY2023 for Fundamental Research was accepted. |
| Apr 1, 2023 | I have started working as an Asistant Professor at JAIST. |
| Oct 1, 2022 | I have started working as a Postdoctoral Researcher at JAIST. |
| Sep 22, 2022 | I have obtained a Ph.D. in Information Science from JAIST with an outstanding student award. |