![](portrait.jpg)
Contact
- Affiliation: Japan Advanced Institute of Science and Technology (School of Information Science)
- E-mail:
- Room: I-54b (Information Science Research Bldg. 5F)
- Office hours: Every Monday from 3:00 p.m. to 4:00 p.m. (You can visit during this time without appointment.)
- Please email me first if you are interested in enrolling/visiting the university/lab.
Rsearch Field
Our research field is theoretical computer science. In today's advanced IT society, everyone is using "computers" in the broad sense of the term, such as smartphones and personal computers, to enrich their lives. In our laboratory, we are not just using "computers" as tools, but are conducting research to theoretically re-formulate their mechanisms or to design new ones.
Specifically, we apply mathematical logic, a branch of mathematics, to scientifically explore the functions of programming and the specifications of software and communication protocols. Furthermore, we aim to realize highly reliable software by developing formal verification techniques that mathematically guarantee the correctness of algorithms and programs.
Keywords
Formal Specification/Verification, Many-sorted Equational Logic, Modal Logic, Dynamic Logic (Hoare Logic), Temporal Logic (Model Checking), Quantum Logic, Universal Algebra, State Transition System, Parallel Computation, Quantum Computation, Quantum Program/Protocol
Research Policy
- Basically, research discussion follows the flow of definition, theorem, and proof.
- However, the motivation is in computer science, not in mathematics.
- The goal is to establish and refine a theory, but also to implement it by programming to demonstrate its effectiveness (in some cases).
Rsearch Questions
- How does mathematics underlie the theory of computing?
- How is the symbolic processing of a computer related to its meaning (intension)?
- Are calculation results given by a computer really reliable?
- How do we prove that the program is bug-free?
Student Guidance Policy
- I respect students' autonomy and will never force them to do research activities when they are busy with job hunting, homecoming, etc.
- I take into account as much as possible each student's background (what they studied in their undergraduate studies, their strengths and weaknesses, etc.) and motivation (what they want to research, what they want to learn, etc.).
- For students who do not have a theoretical background, I will guide you from the rudiments of mathematics.
- I value the spirit of independence, autonomy, and freedom, aiming to create an open laboratory.
- Hold regular weekly meetings to review progress.
- Basic knowledge study groups are held as needed.
- For students who want to learn more thoroughly, Long-term Study System is available.
- Can pay honorarium as Laboratory Assistant (LA) if budget allows.
- To receive a Ph.D. degree, a student must have research achievements that are recognized around the world (published in peer-reviewed papers at appropriate international conferences and/or in international journals).
- To this end, I will assist in revising papers, research proposals, and research grant applications, as well as provide guidance in academic writing.
- If your application will be accepted by JSPS (JSPS Fellowship) or JAIST/JST (JAIST-SPRING Doctoral Fellow), you will be able to concentrate on your research under the support of living and research funds. See also the scholarship information.
- All applicants are employed as University Assistants (UA) in a pay-for-work system.
- Can pay honorarium as Research Assistant (RA) if budget allows.
Members
- Tsubasa Takagi (Associate Professor)
- Yang Song (Researcher)
- Shusuke Kobayashi (M1)
- Taiyo Nakamura (M1)
- Ryuichi Nagoshi (M1)
- Kai Yamaguchi (M1)
Open Position for Researcher at Japan Advanced Institute of Science and Technology (JAIST)
- Work content and job description
- Survey of literature, writing of papers, conference presentations, and other work necessary to conduct research related to formal verification of quantum computation.
- Total Wages
- 2,992,500 yen (This amount includes statutory employment and workers' compensation insurance premiums, etc)
- Working hours
- Working hours: 9:00-17:00
- Break time: 12:00-13:00
- Holidays: Saturdays and Sundays, National holidays, Year-end and New Year holidays, and so on
- Qualification
- Ph.D degree in information science or related field
- Contract period
- FY2025, trial period is available (1 month from the date of employment)
- Work location
- Ishikawa 1-1 Asahidai, Nomi, Japan (Takagi Lab)
- Number of hired
- 1 person
- Application method
- Send CV, list of research achievements, and contact information of the applicant including e-mail address (any format) by e-mail to (Application invitation is open until the position is filled.).
Others
- This lab is a new lab starting in 2024.
- Research Introduction
- Research Achievements (researchmap)