Research keywords (4)：
Theoretical computer science
, Category theory
, Programming language
, Differential Privacy
Research theme for competitive and other funds (1)：
2020 - 2024 高階確率的プログラムにおける差分プライバシーの形式的検証
Papers (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
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
(JSSST 2019 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)
2005 - 2009 Osaka Kyoiku University Department of Arts and Sciences Mathematical Sciences
Professional career (1)：
博士(理学) (京都大学)
Work history (5)：
2020/04 - 現在 Tokyo Institute of Technology School of Computing
2019/04 - 2020/03 Seikei University Deptartment of Computer and Information Science, Faculty of Science and Technology Assistant Professor
2017/09 - 2019/02 University at Buffalo, SUNY CSE Postdoctoral Associate
2017/04 - 2017/08 Kyoto University Center for the Promotion of Interdisciplinary Education and Research
2015/04 - 2017/08 RIMS, Kyoto University Researcher
Awards (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
Association Membership(s) (2)：
Association for Computing Machinery
, JAPAN SOCIETY FOR SOFTWARE SCIENCE AND TECHNOLOGY
