News
Current updates
| 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 by PeerJ Computer Science and was 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. |