言語の選択:

 

研究者業績

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

佐藤 哲也

 
アバター
研究者氏名佐藤 哲也
 
サトウ テツヤ
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
 

論文

 
Borja Balle, Gilles Barthe, Marco Gaboardi, Justin Hsu, Tetsuya Sato
To appear in The 23rd International Conference on Artificial Intelligence and Statistics (AISTATS 2020)      2020年   [査読有り]
Gilles Barthe, Thomas Espitau, Justin Hsu, Tetsuya Sato, Pierre-Yves Strub
Logical Methods in Computer Science (LMCS)   15(4)    2019年12月   [査読有り]
Tetsuya Sato, Gilles Barthe, Marco Gaboardi, Justin Hsu, Shin-ya Katsumata
2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)   1-14   2019年6月   [査読有り]
Tetsuya Sato, Alejandro Aguirre, Gilles Barthe, Marco Gaboardi, Deepak Garg, Justin Hsu
Proceedings of the ACM on Programming Languages   3(Issue POPL No.38)    2019年1月   [査読有り]
Shin-ya Katsumata, Tetsuya Sato, Tarmo Uustalu
Logical Methods in Computer Science 2018   14(4)    2018年10月   [査読有り]

MISC

 
Tetsuya Sato, Alejandro Aguirre, Gilles Barthe, Marco Gaboardi, Deepak Garg, Justin Hsu
ArXiv      2018年
Long version

講演・口頭発表等

 
佐藤 哲也
TPDP 2019 - Theory and Practice of Differential Privacy   2019年11月11日   
佐藤 哲也
第36回ソフトウェア科学会大会   2019年8月27日   
トップカンファレンス特別講演
佐藤 哲也
34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)   2019年6月27日   
佐藤 哲也
46th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2019)   2019年1月16日   
佐藤 哲也
Privacy Tools Retreat   2018年10月30日   

担当経験のある科目(授業)

 
  • 基礎プログラミング (成蹊大学)
  • 基礎プログラミング(再)実験 (成蹊大学)
  • 基礎プログラミング(再) (成蹊大学)
  • 基礎プログラミング実験 (成蹊大学)

所属学協会

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