研究者
J-GLOBAL ID：201801009202421461   更新日: 2024年04月15日

佐藤 哲也

サトウ テツヤ | Sato Tetsuya
所属機関・部署：
東京工業大学 情報理工学院

東京工業大学 情報理工学院 について


職名： 助教
ホームページURL (1件)： https://sites.google.com/view/tetsuyasato/
研究分野 (1件)： 情報学基礎論
研究キーワード (4件)： 理論計算機科学 ,  圏論 ,  プログラミング言語 ,  差分プライバシー
競争的資金等の研究課題 (1件)：
  • 2020 - 2024 高階確率的プログラムにおける差分プライバシーの形式的検証
論文 (20件)：
  • Yusuke Kawamoto 0001, Tetsuya Sato 0001, Kohei Suenaga. Sound and relatively complete belief Hoare logic for statistical hypothesis testing programs. Artif. Intell. 2024. 326. 104045-104045
  • Yusuke Kawamoto 0001, Tetsuya Sato 0001, Kohei Suenaga. Formalizing Statistical Causality via Modal Logic. JELIA. 2023. 681-696
  • Yusuke Kawamoto 0001, Tetsuya Sato 0001, Kohei Suenaga. Formalizing Statistical Causality via Modal Logic. CoRR. 2022. abs/2210.16751
  • Yusuke Kawamoto 0001, Tetsuya Sato 0001, Kohei Suenaga. Sound and Relatively Complete Belief Hoare Logic for Statistical Hypothesis Testing Programs. CoRR. 2022. abs/2208.07074
  • Yusuke Kawamoto, Tetsuya Sato, Kohei Suenaga. Formalizing Statistical Beliefs in Hypothesis Testing Using Program Logic. Proceedings of the Eighteenth International Conference on Principles of Knowledge Representation and Reasoning. 2021. 411-421
もっと見る
講演・口頭発表等 (19件)：
  • Graded Hoare Logic and its Categorical Semantics
    (30th European Symposium on Programming (ESOP 2021) 2021)
  • Divergences on Monads and Relational Liftings
    (15th IFIP WG 1.3 International Workshop on Coalgebraic Methods in Computer Science (CMCS 2020) 2020)
  • Hypothesis Testing Interpretations and Renyi Differential Privacy
    (TPDP 2019 - Theory and Practice of Differential Privacy 2019)
  • Approximate Span Liftings: Compositional Semantics for Relaxations of Differential Privacy
    (第36回ソフトウェア科学会大会 2019)
  • Formal verification of higher-order probabilistic programs: reasoning about approximation, convergence, Bayesian inference, and optimization
    (34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) 2019)
もっと見る
学歴 (3件)：
  • 2011 - 2015 京都大学大学院 理学研究科 博士後期課程 数学・数理解析専攻 数理解析系
  • 2009 - 2011 京都大学大学院 理学研究科 修士課程 数学・数理解析専攻 数理解析系
  • 2005 - 2009 大阪教育大学 教育学部教養学科 数理科学専攻
学位 (1件)：
  • 博士(理学) (京都大学)
経歴 (5件)：
  • 2020/04 - 現在 東京工業大学 情報理工学院 助教
  • 2019/04 - 2020/03 成蹊大学 理工学部 情報科学科 助教
  • 2017/09 - 2019/02 ニューヨーク州立大学バッファロー校 コンピューターサイエンス・エンジニアリング学科 博士研究員
  • 2017/04 - 2017/08 京都大学学 学際融合教育推進センター 教務補佐員
  • 2015/04 - 2017/08 京都大学数理解析研究所 研究員
受賞 (1件)：
  • 2013/03 - 16th European Joint Conference on Theory and Practice of Software, ETAPS 2013, Best Student Contribution Award, for the paper “Preorders on Monads and Coalgebraic Simulations” by Shin-ya Katsumata and Tetsuya Sato
所属学会 (2件)：
Association for Computing Machinery ,  日本ソフトウェア科学会
※　J-GLOBALの研究者情報は、researchmapの登録情報に基づき表示しています。 登録・更新については、こちらをご覧ください。

前のページに戻る

TOP

BOTTOM