• A
  • A
  • A
日本語 Help
Science and technology information site for articles, patents, researchers information, etc.
Rchr
J-GLOBAL ID:202301003571182219   Update date: Jan. 30, 2024

Saikawa Takafumi

Saikawa Takafumi
Affiliation and department:
Job title: Researcher
Research theme for competitive and other funds  (2):
  • 2022 - 2026 Formal Foundations for Verification of Physical and Probabilistic Systems
  • 2022 - 2025 Validating the type soundness of a programming language through translation into a logical system
※ Researcher’s information displayed in J-GLOBAL is based on the information registered in researchmap. For details, see here.

Return to Previous Page