佐藤 哲也
サトウ テツヤ (Tetsuya Sato)
更新日: 04/15
基本情報
- 所属
- 東京工業大学 情報理工学院 助教
- 学位
-
博士(理学)(京都大学)
- J-GLOBAL ID
- 201801009202421461
- researchmap会員ID
- B000335227
- 外部リンク
プログラム言語の理論、特に表示的意味論を中心に研究しています。確率的プログラムの差分プライバシーやその他統計的性質の(型システムに基づく)形式的検証に取り組んでいます。
研究分野
1経歴
5-
2020年4月 - 現在
-
2019年4月 - 2020年3月
-
2017年9月 - 2019年2月
-
2017年4月 - 2017年8月
-
2015年4月 - 2017年8月
学歴
3-
2011年4月 - 2015年3月
-
2009年4月 - 2011年3月
-
2005年4月 - 2009年3月
論文
20-
Artif. Intell. 326 104045-104045 2024年1月
-
JELIA 681-696 2023年
-
CoRR abs/2210.16751 2022年
-
CoRR abs/2208.07074 2022年
-
Proceedings of the Eighteenth International Conference on Principles of Knowledge Representation and Reasoning 411-421 2021年9月 査読有り
-
In Proceedings of 30th European Symposium on Programming (ESOP 2021), Lecture Notes in Computer Scienece (LNCS) 12648 234-263 2021年3月 査読有り
-
Proceedings of the Twenty Third International Conference on Artificial Intelligence and Statistics (AISTATS 2020), Proceedings of Machine Learning Research (PMLR) 108 2496-2506 2020年8月 査読有り責任著者
-
Logical Methods in Computer Science (LMCS) 15(4) 2019年12月19日 査読有り
-
2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) 2019年6月 査読有り筆頭著者責任著者
-
Proceedings of the ACM on Programming Languages 3(POPL) 1-30 2019年1月2日 査読有り筆頭著者責任著者
-
Logical Methods in Computer Science 14(4) 2018年10月29日 査読有り
-
Journal of Pure and Applied Algebra 222(10) 2888-2896 2018年10月 査読有り責任著者
-
Leibniz International Proceedings in Informatics, LIPIcs 80 2017年7月1日 査読有り
-
Electronic Notes in Theoretical Computer Science 325 277-298 2016年10月5日 査読有り
-
Leibniz International Proceedings in Informatics, LIPIcs 35 156-170 2015年10月1日 査読有り
-
Electronic Notes in Theoretical Computer Science 308 309-327 2014年10月29日 査読有り責任著者
-
A satelite workshop of CALCO 2013 5th Conference on Algebra and Coalgebra in Computer Science Selected Papers 33-47 2013年9月2日 査読有り
-
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 7794 145-160 2013年 査読有り
-
CALCO Young Researchers Workshop: CALCO-jnr 2011, 29 August 2011: selected papers 12-27 2012年3月21日 査読有り
-
Kyoto University 2011年3月 査読有り
講演・口頭発表等
19-
30th European Symposium on Programming (ESOP 2021) 2021年3月31日 European Joint Conferences on Theory and Practice of Software (ETAPS)
-
15th IFIP WG 1.3 International Workshop on Coalgebraic Methods in Computer Science (CMCS 2020) 2020年10月12日
-
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日
-
Theory and Practice of Differential Privacy (TPDP 2018) 2018年10月15日
-
Probabilistic Programming Languages, Semantics, and Systems (PPS 2018) 2018年1月9日
-
第19 回プログラミングおよびプログラミング言語ワークショップ(PPL) 2017年3月9日
-
The 32nd Conference on the Mathematical Foundations of Programming Semantics (MFPS XXXII) 2016年5月25日
-
第17 回プログラミングおよびプログラミング言語ワークショップ(PPL) 2015年3月4日
-
Mathematical Foundations of Programming Semantics Thirtieth Conference (MFPS XXX) 2014年6月12日
-
日本ソフトウェア科学会第30 回大会 2013年9月12日
-
CALCO Early Ideas Workshop 2013年9月2日
-
6th International Conference on Foundations of Software Science and Computation Structures (FoSSaCS 2013) 2013年3月18日
-
日本ソフトウェア科学会第28回大会 2011年9月29日
-
CALCO Young Researchers Workshop: CALCO-jnr 2011 2011年8月29日
-
第13 回プログラミングおよびプログラミング言語ワークショップ 2011年3月10日
担当経験のある科目(授業)
4共同研究・競争的資金等の研究課題
1-
日本学術振興会 科学研究費助成事業 若手研究 若手研究 2020年4月 - 2024年3月