Tsubasa Takagi's Personal Webpage

Tsubasa TAKAGI

Contact

Degree

Master of Science (Information Science), Japan Advanced Institute of Science and Technology

Research Interests

I am working on the formal verification infrastructure for quantum computer programs (quantum programs).

Since quantum computation is based on a completely different principle from classical computation, new formal verification techniques for quantum programs are required to verify whether a quantum program satisfies specifications.

I am aiming to establish formal verification techniques for quantum programs by combining modal logics (dynamic logic and temporal logic) and equational logic, which have been used for formal verification of classical computation, with quantum logic.

Area of Study

Keywords

Quantum Logic, Quantum Computation, Formal Verification, Modal Logic, Dynamic Logic, Temporal Logic, Equational Logic, Algebraic Structure, State Transition System, Model Checking, Automata

Journal Papers

  1. Tsubasa Takagi. Translation from Three-Valued Quantum Logic to Modal Logic. (International Journal of Theoretical Physics, 60(1): 366–377, Springer, 2021.) [PDF]

Conference Papers

  1. Tsubasa Takagi and Satoshi Tojo. Temporal Observable-Dependent Logic for Quantum Finite Automata. (18th International Conference on Quantum Physics and Logic, Poland, June 8, 2021.)

Research Grants

  1. Grant-in-Aid for JSPS Research Fellow Grant Number 22J23575 (April. 2022 -- March. 2025)

Teaching

Financial Support

  1. JSPS Research Fellow (DC1), Japan Society for the Promotion of Science (April. 2022 -- March. 2025)
  2. Research Assistant in Ogata Laboratory at Japan Advanced Institute of Science and Technology (October. 2021 -- March. 2022)
  3. JASSO Scholarship for Ph.D. Students, Exemption from refund due to outstanding performance, Japan Student Services Organization (October. 2021 -- March. 2022)
  4. JASSO Scholarship for Master's Students, Exemption from refund due to outstanding performance, Japan Student Services Organization (April. 2020 -- September. 2021)
  5. SD Program Scholarship, Japan Advanced Institute of Science and Technology (April. 2020 -- March. 2022)