Sato Tetsuya 佐藤哲也

Researcher Number	40761797
Other IDs
Affiliation (Current)	2025: 東京科学大学, 情報理工学院, 助教
Affiliation (based on the past Project Information) *help	2020 – 2024: 東京工業大学, 情報理工学院, 助教
Review Section/Research Field	Principal Investigator Basic Section 60050:Software-related Except Principal Investigator Basic Section 60050:Software-related
Keywords	Principal Investigator プログラム検証 / 定理証明支援系 / 確率的プログラム / プログラミング言語理論 / 差分プライバシー / 高階プログラミング言語 / 確率的プログラミング言語 / 意味論 / 形式的検証 / 二項関係持ち上げ … More / 証明支援系 / 次数付きホーア論理 / ソフトウェア検証 / 圏論 … More Except Principal Investigator 統計 / プログラム検証 / 形式手法 Less

Formal verification methods for trustworthy statistics
- Principal Investigator
  
  川本裕輔
- Project Period (FY)
  2024 – 2026
- Research Category
  
  Grant-in-Aid for Scientific Research (B)
- Review Section
  
  Basic Section 60050:Software-related
- Research Institution
  National Institute of Advanced Industrial Science and Technology
Foundations of formalization of differential privacy for formal verificationPrincipal Investigator
- Principal Investigator
  
  佐藤哲也
- Project Period (FY)
  2024 – 2027
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Review Section
  
  Basic Section 60050:Software-related
- Research Institution
  Tokyo Institute of Technology
高階確率的プログラムにおける差分プライバシーの形式的検証Principal Investigator
- Principal Investigator
  
  佐藤哲也
- Project Period (FY)
  2020 – 2024
- Research Category
  
  Grant-in-Aid for Early-Career Scientists
- Review Section
  
  Basic Section 60050:Software-related
- Research Institution
  Tokyo Institute of Technology

All 2024 2023 2022 2021

All Journal Article Presentation

[Journal Article] Sound and relatively complete belief Hoare logic for statistical hypothesis testing programs2024
- Author(s)
  Kawamoto Yusuke、Sato Tetsuya、Suenaga Kohei
- Journal Title
  
  Artificial Intelligence
  
  Volume: 326 Pages: 104045-104045
- DOI
  10.1016/j.artint.2023.104045
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-20K19775, KAKENHI-PROJECT-21K12028, KAKENHI-PROJECT-19H04084
[Journal Article] Program logic for higher-order probabilistic programs in Isabelle/HOL2023
- Author(s)
  Hirata Michikazu、Minamide Yasuhiko、Sato Tetsuya
- Journal Title
  
  Science of Computer Programming
  
  Volume: 230 Pages: 102993-102993
- DOI
  10.1016/j.scico.2023.102993
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20K19775, KAKENHI-PROJECT-23KJ0905
[Journal Article] Formalizing Statistical Causality via Modal Logic2023
- Author(s)
  Kawamoto Yusuke、Sato Tetsuya、Suenaga Kohei
- Journal Title
  
  Logics in Artificial Intelligence: 18th European Conference, JELIA 2023, Dresden, Germany, September 20-22, 2023, Proceedings
  
  Volume: - Pages: 681-696
- DOI
  10.1007/978-3-031-43619-2_46
- ISBN
  9783031436185, 9783031436192
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-20K19775, KAKENHI-PROJECT-20H00582, KAKENHI-PROJECT-19H04084
[Journal Article] Divergences on monads for relational program logics2023
- Author(s)
  Sato Tetsuya、Katsumata Shin-ya
- Journal Title
  
  Mathematical Structures in Computer Science
  
  Volume: 33 Issue: 4-5 Pages: 427-485
- DOI
  10.1017/s0960129523000245
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20K19775
[Journal Article] Semantic Foundations of Higher-Order Probabilistic Programs in Isabelle/HOL2023
- Author(s)
  Michikazu Hirata, Yasuhiko Minamide, Tetsuya Sato
- Journal Title
  
  In: Proceedings of the Fourteenth Conference on Interactive Theorem Proving (ITP 2023)
  
  Volume: -
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20K19775
[Journal Article] Program Logic for?Higher-Order Probabilistic Programs in?Isabelle/HOL2022
- Author(s)
  Hirata Michikazu、Minamide Yasuhiko、Sato Tetsuya
- Journal Title
  
  Lecture Notes in Computer Science
  
  Volume: 13215 Pages: 57-74
- DOI
  10.1007/978-3-030-99461-7_4
- ISBN
  9783030994600, 9783030994617
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20K19775, KAKENHI-PROJECT-19K11899
[Journal Article] Formalizing Statistical Beliefs in Hypothesis Testing Using Program Logic2021
- Author(s)
  Kawamoto Yusuke、Sato Tetsuya、Suenaga Kohei
- Journal Title
  
  Proceedings of the 18th International Conference on Principles of Knowledge Representation and Reasoning
  
  Volume: － Pages: 411-421
- DOI
  10.24963/kr.2021/39
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-20K19775, KAKENHI-PROJECT-19H04084
[Presentation] Towards Formal Verification of Differential Privacy in Isabelle/HOL2023
- Author(s)
  Tetsuya Sato
- Organizer
  8th Franco-Japanese Cybersecurity Workshop
- Invited / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-20K19775
[Presentation] Isabelle/HOLによる差分プライバシーの形式的検証についての進捗報告2023
- Author(s)
  佐藤哲也
- Organizer
  The 19th Theorem Proving and Provers meeting (TPP 2023)
- Data Source
  KAKENHI-PROJECT-20K19775
[Presentation] 仮説検定による差分プライバシーの特徴付けとRenyi 差分プライバシー2022
- Author(s)
  佐藤哲也
- Organizer
  第5回ステアラボソフトウェア技術セミナー
- Invited
- Data Source
  KAKENHI-PROJECT-20K19775
[Presentation] On Hypothesis Testing Interpretations of Renyi Differential Privacy2022
- Author(s)
  Tetsuya Sato
- Organizer
  7th Franco-Japanese Cybersecurity Workshop
- Invited / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-20K19775
[Presentation] 関係プログラム論理のためのモナド上のダイバージェンス2022
- Author(s)
  佐藤哲也
- Organizer
  第24回プログラミングおよびプログラミング言語ワークショップ(PPL 2022)
- Data Source
  KAKENHI-PROJECT-20K19775

1. 川本裕輔 (60760006)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
2. 末永幸平 (70633692)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
3. 田中哲 (10357452)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results

Sato Tetsuya 佐藤 哲也

Research Projects

Research Products

Co-Researchers

Formal verification methods for trustworthy statistics

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

Foundations of formalization of differential privacy for formal verificationPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

高階確率的プログラムにおける差分プライバシーの形式的検証Principal Investigator

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

[Journal Article] Sound and relatively complete belief Hoare logic for statistical hypothesis testing programs2024

Author(s)

Journal Title

DOI

Data Source

[Journal Article] Program logic for higher-order probabilistic programs in Isabelle/HOL2023

Author(s)

Journal Title

DOI

Data Source

[Journal Article] Formalizing Statistical Causality via Modal Logic2023

Author(s)

Journal Title

DOI

ISBN

Data Source

[Journal Article] Divergences on monads for relational program logics2023

Author(s)

Journal Title

DOI

Data Source

[Journal Article] Semantic Foundations of Higher-Order Probabilistic Programs in Isabelle/HOL2023

Author(s)

Journal Title

Data Source

[Journal Article] Program Logic for?Higher-Order Probabilistic Programs in?Isabelle/HOL2022

Author(s)

Journal Title

DOI

ISBN

Data Source

[Journal Article] Formalizing Statistical Beliefs in Hypothesis Testing Using Program Logic2021

Author(s)

Journal Title

DOI

Data Source

[Presentation] Towards Formal Verification of Differential Privacy in Isabelle/HOL2023

Author(s)

Organizer

Data Source

[Presentation] Isabelle/HOLによる 差分プライバシーの形式的検証 についての進捗報告2023

Author(s)

Organizer

Data Source

[Presentation] 仮説検定による差分プライバシーの特徴付けとRenyi 差分プライバシー2022

Author(s)

Organizer

Data Source

[Presentation] On Hypothesis Testing Interpretations of Renyi Differential Privacy2022

Author(s)

Organizer

Data Source

[Presentation] 関係プログラム論理のための モナド上のダイバージェンス2022

Author(s)

Organizer

Data Source

Sato Tetsuya 佐藤哲也

[Presentation] Isabelle/HOLによる差分プライバシーの形式的検証についての進捗報告2023

[Presentation] 関係プログラム論理のためのモナド上のダイバージェンス2022