寺内 多智弘
テラウチ タチオ (Tachio Terauchi)
更新日: 02/11
基本情報
- 所属
- 早稲田大学 理工学術院 基幹理工学部 情報理工学科 教授
- 学位
-
博士(カリフォルニア大学バークレー校)修士(カリフォルニア大学バークレー校)学士(コロンビア大学)
- 研究者番号
- 70447150
- J-GLOBAL ID
- 200901015211509541
- 外部リンク
プログラミング言語分野の研究を行っています。特に、プログラムの正しさを正式かつ(できるだけ)自動的に検証する「プログラム検証」や正しいプログラムを自動生成する「プログラム合成」の研究に興味があります。また、型システムや定理証明など基礎理論・基礎アルゴリズムに関する研究も行っています。
研究分野
2経歴
4-
2017年9月 - 現在
-
2014年4月 - 2017年9月
-
2011年4月 - 2014年3月
-
2007年1月 - 2011年3月
学歴
2-
2000年9月 - 2006年8月
-
1996年9月 - 2000年5月
委員歴
55-
2018年4月 - 現在
-
2015年4月 - 現在
受賞
4-
2019年12月
-
2008年
論文
33-
In Proceedings of the 32nd IEEE Computer Security Foundations Symposium (CSF 2019) 216 - 229 2019年 査読有り
-
In Proceedings of the 8th International Conference on Principles of Security and Trust (POST 2019) 29 - 50 2019年 査読有り
-
In Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2018) 759 - 768 2018年 査読有り
-
PACMPL 2(POPL) 12:1-12:29 2018年 査読有り
-
In Proceedings of the 6th International Conference on Principles of Security and Trust (POST 2017), Lecture Notes in Computer Science 10204 277 - 297 2017年 査読有り
講演・口頭発表等
24-
Dagstuhl Seminar 19371: Deduction Beyond Satisfiability 2019年9月 招待有り
-
Third Workshop on Mathematical Logic and its Applications (MLA 2019) 2019年3月 招待有り
-
Third Workshop on Mathematical Logic and its Applications (MLA 2019) 2019年3月
-
ソフトウェア科学会 第21回プログラミングおよびプログラミング言語ワークショップ（PPL2019） 2019年3月
-
The 4th Workshop on New Ideas and Emerging Results in Programming Languages and Systems (NIER 2018) 2018年12月
共同研究・競争的資金等の研究課題
12-
日本学術振興会 科学研究費補助金 基盤研究(B)
-
日本学術振興会 科学研究費補助金 挑戦的研究(萌芽)
-
日本学術振興会 研究拠点形成事業 先端拠点形成型
-
日本学術振興会 二国間交流事業 共同研究 (AYAMEプログラム)
-
日本学術振興会 二国間交流事業 共同研究