Tsubasa Takagi (Associate Professor)
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 5: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
Theoretical Computer Science (Mathematical Logic and Formal Verification)
Mathematical Logic: The mathematical study of logic, a field that has played a major role from the inception of computing to its current development
Formal Verification: Mathematically proving the correctness of algorithms, protocols, systems, and programs, helping to build a safe and secure IT social infrastructure
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, 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.
- It is recommended to complete all lecture credits in the first year and concentrate on research in the second year.
- Regular weekly progress meetings starting in the second year (or when your research can begin).
- Basic knowledge study groups are held as needed.
- For students who want to learn more thoroughly, Long-term Study System is available.
- 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)
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 (one-year period), 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)