Contact
- Name: Tsubasa Takagi (Associate Professor)
- Affiliation: Japan Advanced Institute of Science and Technology (School of Information Science)
- E-mail:
- Room: I-54b (Information Science Research Bldg. 5F)
- Please email me first if you are interested in visiting/enrolling the lab/university (Online interview available.)
Research Topics
Our laboratory aims to develop highly reliable quantum systems through formal verification. Computers and networks that exploit quantum mechanical properties (quantum computers and quantum communication networks) are expected to perform computations faster or more securely than conventional computers and networks. However, since quantum computation operates on fundamentally different and complex principles, verifying whether a designed quantum computation is correct (i.e., satisfies its specifications) is far from straightforward. We therefore aim to develop quantum systems with exceptionally high reliability (and safety/security) using formal verification, a technique grounded in mathematical logic, to rigorously guarantee the correctness of quantum system.
Research Overview
- Research Introduction
- Research Achievements (researchmap)
- Press Release
Frequently Asked Questions
- Q. What minimum background is required before joining the laboratory?
- A. You should be able to read and write first-order predicate logic formulas and solve proof problems of standard difficulty in naive set theory (sets, relations, functions, equivalence classes, and families of sets). If you find these two areas difficult, you may struggle to keep up with research in our laboratory. In short, a basic ability to think abstractly in mathematics is essential.
- Q. What will I study after joining the laboratory?
- A. You will study the fundamentals of quantum computation, algebraic specification, and model checking (including temporal logic and distributed protocols).
- Q. Can I choose my own research topic?
- A. To ensure responsible supervision, master's students select their research topics through discussion with the supervisor from among several proposed options. Doctoral students are free to choose their own research topics.
- Q. What events does the laboratory organize?
- A. Weekly meetings (mandatory), an annual laboratory retreat (optional), welcome parties, and farewell parties.
- Q. Are there fixed working hours?
- A. No. However, students are encouraged to come to the laboratory at least once a day, except on weekends, public holidays, or when visiting their hometowns. Coming to the laboratory helps maintain motivation for research.
- Q. Is financial support available?
- A. Master's students may be assigned paid work upon request. All doctoral students who wish to do so are employed as University Assistants (UAs) and receive remuneration.
Members
- Tsubasa Takagi (Associate Professor)
- Yang Song (Researcher)
- Ryuichi Nagoshi (D1)
- Naoto Sato (M2)
- Shusuke Kobayashi (M2)
- Kai Yamaguchi (M2)
- Jinhyeok Roh (M2)
- Yunhao Ni (M2)
- Kazuma Ishibashi (M1)
- Tomoaki Yamashita (M1)
Alumni
- Ryuki Uchida
- Taiyo Nakamura