言語の選択:

お知らせ


成蹊大学専任教員各位

Ufinityにログイン後、「編集」ボタンを押した際に「権限が不正」というエラーメッセージが生じた際は、総合企画課までご連絡ください。

総合企画課:kikaku@jim.seikei.ac.jp


 
»大学ホームページに戻る
»Return to University HOME

※各教員の担当科目については、以下のリンク先にある「教員名」に該当教員の氏名を入力の上、検索してください。
 

研究者業績

現在このブロックに設定情報がありません

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

理工学部 教員紹介

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

佐藤 哲也

 
アバター
研究者氏名佐藤 哲也
 
サトウ テツヤ
URLhttps://sites.google.com/view/tetsuyasato/
所属東京工業大学
部署情報理工学院
職名助教
学位博士(理学)(京都大学)
J-Global ID201801009202421461

プロフィール

プログラム言語の理論、特に表示的意味論を中心に研究しています。確率的プログラムの差分プライバシーやその他統計的性質の(型システムに基づく)形式的検証に取り組んでいます。

研究キーワード

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

研究分野

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

経歴

 
2020年4月
 - 
現在
東京工業大学 情報理工学院 助教 
 
2019年4月
 - 
2020年3月
成蹊大学 理工学部 情報科学科 助教 
 
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-142019年   [査読有り]
 
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

講演・口頭発表等

 
 
Hypothesis Testing Interpretations and Renyi Differential Privacy
佐藤 哲也   
TPDP 2019 - Theory and Practice of Differential Privacy   2019年11月11日   
 
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日   

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

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

所属学協会

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