TOP  >  Personal Info.
TAKAGI, Tsubasa Associate Professor
Information Science, Computing Science, Transition Arena for Quantum Materials and Information Sciences (taQumi) (Neo Excellent Core)
◆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
Formal Verification of Quantum Arithmetic Circuits in Maude
Naoto Sato, Tsubasa Takagi
Proceedings of International Symposium on System Security, Safety, and Reliability (ISSSR 2026), 61-70, 2026
A Divide & Conquer Approach to Model Checking Linear Temporal Properties
Canh Minh Do, Tsubasa Takagi, Kazuhiro Ogata
ACM Transactions on Software Engineering and Methodology, -, 2026
Reachable Completeness Theorem of Order Sorted Equational Logic with Infinite Proofs
Taeseung Sohn, Tsubasa Takagi
Proceedings of International Symposium on Theoretical Aspects of Software Engineering (TASE 2026), Lecture Notes in Computer Science (LNCS), 16697, 269-285, 2026
A Stone-type Representation Theorem for Star-free Dynamic Orthomodular Lattice
Tsubasa Takagi
Proceedings of IEEE International Symposium on Multiple-Valued Logic (ISMVL 2026), 129-134, 2026
Completeness Theorem for Many-valued Logic with Internalized Meta-judgment
Yang Song, Tsubasa Takagi
Proceedings of IEEE International Symposium on Multiple-Valued Logic (ISMVL 2026), 81-86, 2026
◆Misc
[Book Review] Robert Goldblatt, Logics of Time and Computation, 2nd Ed.
Tsubasa Takagi
Tokyo Academic Review of Books (TARB), 62, -, 2024
Quantum Program Verification and Its Implementation Based on Dynamic Quantum Logic
Tsubasa Takagi
IPSJ SIG Technical Report, 2023-QS-9, 6, 1-6, 2023
Quantum Dynamic Algebra: From Orthomodular Lattice to Algebra of Quantum Programs
Tsubasa Takagi
Doctoral Dissertation, -, 2023

■Teaching Experience

Formal Languages and Automata, Mathematical Logic

■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