言語の選択:

 
研究者検索 > 理工学部 教員紹介 

理工学部 教員紹介

研究者リスト >> 佐藤 哲也
 

佐藤 哲也

 
アバター
研究者氏名佐藤 哲也
 
サトウ テツヤ
eメールt_satost.seikei.ac.jp
URLhttps://sites.google.com/view/tetsuyasato/
所属成蹊大学
部署理工学部 情報科学科
職名助教
学位博士(理学)(京都大学)

プロフィール

今のところ、差分プライバシー・確率的なシステムの数学的定式化を中心に研究しています。

研究キーワード

 
理論計算機科学 , 圏論 , プログラミング言語 , 差分プライバシー

研究分野

 
  • 情報学 / 情報学基礎理論 / プログラミング言語理論

経歴

 
2019年4月
 - 
現在
成蹊大学 理工学部 情報科学科 助教
 
2017年9月
 - 
2019年2月
ニューヨーク州立大学バッファロー校 コンピューターサイエンス・エンジニアリング学科 博士研究員
 
2017年4月
 - 
2017年8月
京都大学学 学際融合教育推進センター 教務補佐員
 
2015年4月
 - 
2017年8月
京都大学数理解析研究所 研究員
 

学歴

 
2011年4月
 - 
2015年3月
京都大学大学院 理学研究科 博士後期課程 数学・数理解析専攻 数理解析系
 
2009年4月
 - 
2011年3月
京都大学大学院 理学研究科 修士課程 数学・数理解析専攻 数理解析系
 
2005年4月
 - 
2009年3月
大阪教育大学 教育学部教養学科 数理科学専攻
 

受賞

 
2013年3月
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
 

論文

 
Tetsuya Sato, Gilles Barthe, Marco Gaboardi, Justin Hsu and Shin-ya Katsumata
2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)      2019年   [査読有り]
Tetsuya Sato, Alejandro Aguirre, Gilles Barthe, Marco Gaboardi, Deepak Garg, Justin Hsu,
Proceedings of the ACM on Programming Languages   3 (38)    2019年1月   [査読有り]
Shin-ya Katsumata,Tetsuya Sato,Tarmo Uustalu
Logical Methods in Computer Science 2018   14(4)    2018年10月   [査読有り]
Tetsuya Sato
Journal of Pure and Applied Algebra   222(10) 2888‐2896   2018年10月   [査読有り]
Gilles Barthe,Thomas Espitau,Justin Hsu,Tetsuya Sato,Pierre-Yves Strub
44th International Colloquium on Automata, Languages, and Programming, ICALP 2017, July 10-14, 2017, Warsaw, Poland   102:1-102:12   2017年   [査読有り]
Tetsuya Sato
Electr. Notes Theor. Comput. Sci.   325 277-298   2016年   [査読有り]
Shin-ya Katsumata,Tetsuya Sato
6th Conference on Algebra and Coalgebra in Computer Science, CALCO 2015, June 24-26, 2015, Nijmegen, The Netherlands   156-170   2015年   [査読有り]
Tetsuya Sato
Electr. Notes Theor. Comput. Sci.   308 309-327   2014年   [査読有り]
Shin-ya Katsumata,Tetsuya Sato
Foundations of Software Science and Computation Structures - 16th International Conference, FOSSACS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings   145-160   2013年   [査読有り]
A nondeterministic probabilistic monad for deterministic schedulers on probabilistic automata.
佐藤 哲也
Kyoto University      2011年3月   [査読有り]

講演・口頭発表等

 
Approximate Span Liftings: Compositional Semantics for Relaxations of Differential Privacy
佐藤 哲也
第36回ソフトウェア科学会大会   2019年8月27日   
トップカンファレンス特別講演
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年6月27日   
Formal Verification of Higher-Order Probabilistic Programs
佐藤 哲也
46th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2019)   2019年1月16日   
Renyi Differential Privacy and Verification
佐藤 哲也
Privacy Tools Retreat   2018年10月30日   
Reasoning about Differential Privacy and its Relaxations
佐藤 哲也
Theory and Practice of Differential Privacy (TPDP 2018)   2018年1月9日   
Reasoning about Divergences via Span-liftings
佐藤 哲也
Probabilistic Programming Languages, Semantics, and Systems (PPS 2018)   2018年1月9日   
Approximate Relational Hoare Logic for Continuous Random Samplings
佐藤 哲也
第19 回プログラミングおよびプログラミング言語ワークショップ(PPL)   2017年3月9日   
Approximate Relational Hoare Logic for Continuous Random Samplings
佐藤 哲也
The 32nd Conference on the Mathematical Foundations of Programming Semantics (MFPS XXXII)   2016年5月25日   
Identifying All Preorders on the Subdistribution Monad
佐藤 哲也
第17 回プログラミングおよびプログラミング言語ワークショップ(PPL)   2015年3月4日   
Identifying All Preorders on the Subdistribution Monad
佐藤 哲也
Mathematical Foundations of Programming Semantics Thirtieth Conference (MFPS XXX)   2014年6月12日   
TT-lifting による模倣関係・双模倣関係
佐藤 哲也
日本ソフトウェア科学会第30 回大会   2013年9月12日   
Simulations for Discrete Probabilistic Systems via Preorder TT-liftings
佐藤 哲也
CALCO Early Ideas Workshop   2013年9月2日   
Preorders on Monads and Coalgebraic Simulations
佐藤 哲也
6th International Conference on Foundations of Software Science and Computation Structures (FoSSaCS 2013)   2013年3月18日   
非決定性をもつ確率的オートマトンの余代数的トレース意味論
佐藤 哲也
日本ソフトウェア科学会第28回大会   2011年9月29日   
A nondeterministic probabilistic monad with nondeterminism for coalgebraic trace semantics.
佐藤 哲也
CALCO Young Researchers Workshop: CALCO-jnr 2011   2011年8月29日   
確率的オートマトンにおける決定的スケジューラのための非決定的確率的モナド
佐藤 哲也
第13 回プログラミングおよびプログラミング言語ワークショップ   2011年3月10日   

担当経験のある科目

 
  • 基礎プログラミング(C++) (成蹊大学)

所属学協会

 
Association for Computing Machinery , 日本ソフトウェア科学会