Rchr
J-GLOBAL ID：202401017219633810
Update date: Dec. 17, 2024 Takagi Tsubasa
タカギ ツバサ | Takagi Tsubasa
Associate Professor
Research field (1)：
Information theory
Research theme for competitive and other funds (4)： - 2024 - 2028 Logical foundation and formal verification of quantum-resistant security protocols
- 2025 - 2026 Formal Verification for Highly Reliable Quantum Computing
- 2024 - 2026 Algebraic Specification for Concurrent Quantum Computation
- 2022 - 2025 Construction of Mathematical Logic System to Verify Quantum Communication Networks and Its Quantum Computational Implications
-
Yuki Nishimura, Tsubasa Takagi. Complete and Terminating Tableau Calculus for Undirected Graph. Proceedings of Asian Workshop on Philosophical Logic (AWPL 2024). 2025
-
Canh Minh Do, Tsubasa Takagi, Kazuhiro Ogata. A Tableau-Based Approach to Model Checking Linear Temporal Properties. Proceedings of 25th International Conference on Formal Engineering Methods (ICFEM 2024), Lecture Notes in Computer Science (LNCS). 2024. 15394. 353-374
-
Canh Minh Do, Tsubasa Takagi, Kazuhiro Ogata. Automated Quantum Program Verification in Probabilistic Dynamic Quantum Logic. Proceedings of the International Workshop on Formal Analysis and Verification of Post-Quantum Cryptographic Protocols co-located with the 24th International Conference on Formal Engineering Methods (ICFEM 2023)(FAVPQC@ICFEM). 2024. 36-51
-
Tsubasa Takagi, Canh Minh Do, Kazuhiro Ogata. Reachability Analysis of the Equivalence of Two Terms in Free Orthomodular Lattices. Proceedings of the International Workshop on Formal Analysis and Verification of Post-Quantum Cryptographic Protocols co-located with the 24th International Conference on Formal Engineering Methods (ICFEM 2023)(FAVPQC@ICFEM). 2024. 67-82
-
Tsubasa Takagi, Canh Minh Do, Kazuhiro Ogata. Automated Quantum Program Verification in Dynamic Quantum Logic. Proceedings of DaLí: Dynamic Logic - New trends and applications (DaLí 2023), Lecture Notes in Computer Science (LNCS). 2024. 14401. 68-84
ｍore...-
Tsubasa Takagi. [Book Review] Robert Goldblatt, Logics of Time and Computation, 2nd Ed. Tokyo Academic Review of Books (TARB). 2024. 62
-
Tsubasa Takagi. Quantum Dynamic Algebra: From Orthomodular Lattice to Algebra of Quantum Programs. Doctoral Dissertation. 2023
-
Tsubasa Takagi. Quantum Program Verification and Its Implementation Based on Dynamic Quantum Logic. IPSJ SIG Technical Report. 2023. 2023-QS-9. 6. 1-6
- Doctor of Philosophy (Information Science) (Japan Advanced Institute of Science and Technology)
- Master of Science (Information Science) (Japan Advanced Institute of Science and Technology)
- 2024/04 - 現在 Japan Advanced Institute of Science and Technology Associate Professor
- 2023/10 - 2024/03 Tokyo Institute of Technology JSPS Research Fellow (PD)
- 2022/04 - 2023/09 Japan Advanced Institute of Science and Technology JSPS Research Fellow (DC1)
