TOP  >  Personal Info.
TAKAGI, Tsubasa Associate Professor
Information Science, Computing Science
◆Degrees
Doctor of Philosophy (Information Science) Japan Advanced Institute of Science and Technology
Master of Science (Information Science) Japan Advanced Institute of Science and Technology
◆Professional Experience
2024 - : Japan Advanced Institute of Science and Technology , Associate Professor
2023 - 2024 : Tokyo Institute of Technology , JSPS Research Fellow (PD)
2022 - 2023 : Japan Advanced Institute of Science and Technology , JSPS Research Fellow (DC1)
◆Specialties
Information theory

■Publications

◆Published Papers
Complete and Terminating Tableau Calculus for Undirected Graph
Yuki Nishimura, Tsubasa Takagi
Proceedings of Asian Workshop on Philosophical Logic (AWPL 2024), -, 2025
A Tableau-Based Approach to Model Checking Linear Temporal Properties
Canh Minh Do, Tsubasa Takagi, Kazuhiro Ogata
Proceedings of 25th International Conference on Formal Engineering Methods (ICFEM 2024), Lecture Notes in Computer Science (LNCS), 15394, 353-374, 2024
Automated Quantum Program Verification in Probabilistic Dynamic Quantum Logic
Canh Minh Do, Tsubasa Takagi, Kazuhiro Ogata
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), 36-51, 2024
Reachability Analysis of the Equivalence of Two Terms in Free Orthomodular Lattices
Tsubasa Takagi, Canh Minh Do, Kazuhiro Ogata
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), 67-82, 2024
Automated Quantum Program Verification in Dynamic Quantum Logic
Tsubasa Takagi, Canh Minh Do, Kazuhiro Ogata
Proceedings of DaLí: Dynamic Logic – New trends and applications (DaLí 2023), Lecture Notes in Computer Science (LNCS), 14401, 68-84, 2024
◆Misc
[Book Review] Robert Goldblatt, Logics of Time and Computation, 2nd Ed.
Tsubasa Takagi
Tokyo Academic Review of Books (TARB), 62, -, 2024
Quantum Dynamic Algebra: From Orthomodular Lattice to Algebra of Quantum Programs
Tsubasa Takagi
Doctoral Dissertation, -, 2023
Quantum Program Verification and Its Implementation Based on Dynamic Quantum Logic
Tsubasa Takagi
IPSJ SIG Technical Report, 2023-QS-9, 6, 1-6, 2023

■Teaching Experience

[TA] Fundamental Mathematics for Information Science, [TA] Fundamentals of Logic and Mathematics, [TA] Mathematical Logic (E)

■Contributions to  Society

◆Academic Contribution
Co-organizer of the 2nd Meeting of Young Researchers in Mathematical Logic , 2024 - 2024
Co-organizer of the 1st Meeting of Young Researchers in Mathematical Logic , 2023 - 2023
◆Social Contribution
・ Current situation of quantum computing and toward realization of highly reliable quantum programs , JAIST Support Organization , JAIST Industry-Academia-Government Co-Creation Forum Regular Lecture 2024 - 2024