寺内 多智弘

J-GLOBALへ         更新日: 19/10/10 19:56
 
アバター
研究者氏名
寺内 多智弘
 
テラウチ タチオ
URL
http://www.f.waseda.jp/terauchi/index-j.html
所属
早稲田大学
部署
理工学術院 基幹理工学部 情報理工学科
職名
教授
学位
博士(カリフォルニア大学バークレー校), 修士(カリフォルニア大学バークレー校), 学士(コロンビア大学)
科研費研究者番号
70447150

プロフィール

プログラミング言語分野の研究を行っています。特に、プログラムの正しさを正式かつ(できるだけ)自動的に検証する「プログラム検証」や正しいプログラムを自動生成する「プログラム合成」の研究に興味があります。また、型システムや定理証明など基礎理論・基礎アルゴリズムに関する研究も行っています。

研究分野

 
 

経歴

 
2017年9月
 - 
現在
早稲田大学 理工学術院 基幹理工学部 情報理工学科 教授
 
2014年4月
 - 
2017年9月
北陸先端科学技術大学院大学 情報科学研究科 教授
 
2011年4月
 - 
2014年3月
名古屋大学 大学院情報科学研究科・工学部(兼任) 准教授
 
2007年1月
 - 
2011年3月
東北大学 大学院情報科学研究科・工学部(兼任) 助教
 

学歴

 
2000年9月
 - 
2006年8月
カリフォルニア大学バークレー校 電子工学・コンピュータサイエンス学科 コンピュータサイエンス専攻
 
1996年9月
 - 
2000年5月
コロンビア大学 工学・応用科学科 コンピュータサイエンス専攻
 

委員歴

 
2018年4月
 - 
現在
情報処理学会プログラミング研究会(PRO)  幹事
 
2015年4月
 - 
現在
文部科学省 科学技術政策研究所 科学技術動向研究センター  専門調査員
 
2019年
 - 
2020年
第22回プログラミングおよびプログラミング言語ワークショップ (PPL 2020)  プログラム委員
 
2019年
 - 
2020年
The 15th International Symposium on Functional and Logic Programming (FLOPS 2020)  プログラム委員
 
2018年
 - 
2019年
The international Conference on Software Testing, Machine Learning and Complex Process Analysis (TMPA-2019)  プログラム委員
 
2018年
 - 
2019年
The 17th Asian Symposium on Programming Languages and Systems (APLAS 2019)  プログラム委員
 
2018年
 - 
2019年
The 17th International Symposium on Automated Technology for Verification and Analysis (ATVA 2019)  プログラム委員
 
2018年
 - 
2019年
The 11th Working Conference on Verified Software: Theories, Tools, and Experiments (VSTTE 2019)  プログラム委員
 
2018年
 - 
2019年
The 26th International Symposium on Static Analysis (SAS 2019)  プログラム委員
 
2014年4月
 - 
2018年3月
情報処理学会プログラミング研究会(PRO)  運営委員
 
2017年
 - 
2018年
The 19th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI 2018)  プログラム委員
 
2017年
 - 
2018年
The 45th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL 2018)  プログラム委員
 
2017年
 - 
2018年
The 16th Asian Symposium on Programming Languages and Systems (APLAS 2018)  プログラム委員
 
2017年
 - 
2018年
The 10th Working Conference on Verified Software: Theories, Tools, and Experiments (VSTTE 2018)  プログラム委員
 
2016年
 - 
2017年
NII Shonan Seminar 115: Intensional and Extensional Aspects of Computation: From Computability and Complexity to Program Analysis and Security  共同主催者
 
2016年
 - 
2017年
The 15th Asian Symposium on Programming Languages and Systems (APLAS 2017)  プログラム委員
 
2016年
 - 
2017年
The 9th Working Conference on Verified Software: Theories, Tools, and Experiments (VSTTE 2017)  プログラム委員
 
2016年
 - 
2017年
The 11th International Workshop on Reachability Problems (RP 2017)  プログラム委員
 
2016年
 - 
2017年
The 4th International Conference on Tools and Methods of Program Analysis (TMPA 2017)  プログラム委員
 
2016年
 - 
2017年
The 26th European Symposium on Programming (ESOP 2017)  プログラム委員
 
2016年
 - 
2017年
The 44th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL 2017)  External Review Committee
 
2015年
 - 
2016年
The 14th Asian Symposium on Programming Languages and Systems (APLAS 2016)  プログラム委員
 
2015年
 - 
2016年
The 43rd International Colloquium on Automata, Languages, and Programming (ICALP 2016) (Track B)  プログラム委員
 
2015年
 - 
2016年
The 17th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI 2016)  プログラム委員
 
2015年
 - 
2016年
The 43rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL 2016)  External Review Committee
 
2014年
 - 
2015年
NII Shonan Seminar 069: Logic and Verification Methods in Security and Privacy  共同主催者
 
2014年
 - 
2015年
Workshop on Higher-Order Program Analysis (HOPA 2015)  プログラム委員
 
2014年
 - 
2015年
ACM SIGPLAN 10th Workshop on Programming Languages and Analysis for Security (PLAS 2015)  プログラム委員
 
2014年
 - 
2015年
The 30th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2015)  プログラム委員
 
2013年
 - 
2014年
Joint Workshop on Foundations of Computer Security and Formal and Computational Cryptography (FCS-FCC'14)  プログラム委員
 
2013年
 - 
2014年
Workshop on Higher-Order Program Analysis (HOPA 2014)  プログラム委員
 
2013年
 - 
2014年
The 12th International Symposium on Functional and Logic Programming (FLOPS 2014)  プログラム委員
 
2013年
 - 
2014年
The 15th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI 2014)  プログラム委員
 
2013年
 - 
2014年
電子情報通信学会 論文誌 第9回フォーマルアプローチ特集  編集委員
 
2012年
 - 
2013年
The 22nd EACSL Annual Conference on Computer Science Logic (CSL 2013)  プログラム委員
 
2012年
 - 
2013年
The 40th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL 2013)  External Review Committee
 
2012年
 - 
2013年
電子情報通信学会 論文誌 第8回フォーマルアプローチ特集  編集委員
 
2011年
 - 
2012年
The 10th Asian Symposium on Programming Languages and Systems (APLAS 2012)  プログラム委員
 
2011年
 - 
2012年
The 39th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL 2012)  プログラム委員
 
2011年
 - 
2012年
電子情報通信学会 論文誌 第7回フォーマルアプローチ特集  編集委員
 
2010年
 - 
2011年
The 10th International Conference on Typed Lambda Calculi and Applications (TLCA 2011)  プログラム委員
 
2010年
 - 
2011年
The 20th European Symposium on Programming (ESOP 2011)  プログラム委員
 
2010年
 - 
2011年
The 5th ACM SIGPLAN Workshop on Programming Languages meets Program Verification (PLPV 2011)  プログラム委員
 
2010年
 - 
2011年
The 12th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI 2011)  プログラム委員
 
2010年
 - 
2011年
The 6th ACM SIGPLAN Workshop on Types in Language Design and Implementation (TLDI 2011)  プログラム委員
 
2009年
 - 
2010年
ACM SIGPLAN 2010 Conference on Programming Language Design and Implementation (PLDI 2010)  External Review Committee
 
2009年
 - 
2010年
ソフトウェア科学会 第12回プログラミングおよびプログラミング言語ワークショップ (PPL 2010)  プログラム共同委員長
 
2009年
 - 
2009年
ソフトウェア科学会 第11回プログラミングおよびプログラミング言語ワークショップ (PPL 2009)  プログラム委員
 
2008年
 - 
2009年
ACM SIGPLAN 4th Workshop on Programming Languages and Analysis for Security (PLAS 2009)  プログラム委員
 
2008年
 - 
2009年
The 24th Annual ACM Symposium on Applied Computing (ACM SAC 2009) (Programming Languages Track)  プログラム委員
 
2007年
 - 
2008年
The 15th International Static Analysis Symposium (SAS 2008)  プログラム委員
 

受賞

 
2017年4月
European Association for Software Science and Technology The EASST Award for the Best ETAPS Paper Related to the Systematic and Rigorous Engineering of Software and Systems. Nominee
受賞者: Arthur Blot, Masaki Yamamoto, Tachio Terauchi
 
2008年3月
ソフトウェア科学会 第10回プログラミングおよびプログラミング言語ワークショップ (PPL 2008) 発表賞(一般)
 
2008年
情報処理学会 東北支部 第4回野口研究奨励賞
 

論文

 
Timos Antonopoulos and Tachio Terauchi
In Proceedings of the 32nd IEEE Computer Security Foundations Symposium (CSF 2019)   216-229   2019年   [査読有り]
Tachio Terauchi,Timos Antonopoulos
In Proceedings of the 8th International Conference on Principles of Security and Trust (POST 2019)   29-50   2019年   [査読有り]
Yoji Nanjo,Hiroshi Unno,Eric Koskinen,Tachio Terauchi
In Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2018)   759-768   2018年   [査読有り]
Hiroshi Unno,Yuki Satake,Tachio Terauchi
PACMPL   2(POPL) 12:1-12:29   2018年   [査読有り]
Arthur Blot,Masaki Yamamoto,Tachio Terauchi
In Proceedings of the 6th International Conference on Principles of Security and Trust (POST 2017), Lecture Notes in Computer Science   10204 277-297   2017年   [査読有り]
Timos Antonopoulos,Paul Gazzillo,Michael Hicks,Eric Koskinen,Tachio Terauchi,Shiyi Wei
In Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI 2017), ACM SIGPLAN Notices   52(6) 362-375   2017年   [査読有り]
Akihiro Murase,Tachio Terauchi,Naoki Kobayashi,Ryosuke Sato,Hiroshi Unno
In Proceedings of the 43rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL 2016), ACM SIGPLAN Notices   51(1) 57-68   2016年   [査読有り]
Hiroshi Unno,Tachio Terauchi
In Proceedings of the 21st International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2015), Lecture Notes in Computer Science   9035 149-163   2015年   [査読有り]
Tachio Terauchi
In Proceedings of the 22nd International Static Analysis Symposium (SAS 2015), Lecture Notes in Computer Science   9291 128-144   2015年   [査読有り]
Tachio Terauchi,Hiroshi Unno
In Proceedings of the 24th European Symposium on Programming (ESOP 2015), Lecture Notes in Computer Science   9032 610-633   2015年   [査読有り]
Takuya Kuwahara,Tachio Terauchi,Hiroshi Unno,Naoki Kobayashi
In Proceedings of the 23rd European Symposium on Programming (ESOP 2014), Lecture Notes in Computer Science   8410 392-411   2014年   [査読有り]
Eric Koskinen,Tachio Terauchi
In Proceedings of the Joint Meeting of the 23rd EACSL Annual Conference on Computer Science Logic and the 29th Annual ACM/IEEE Symposium on Logic in Computer Science (CSL-LICS 2014)   59:1-59:10   2014年   [査読有り]
Hirotoshi Yasuoka,Tachio Terauchi
Theoretical Computer Science   538 167-182   2014年   [査読有り]
岩塚 卓弥, 寺内 多智弘, 結縁 祥治
情報処理学会論文誌プログラミング(PRO)   6(3) 20-32   2013年12月   [査読有り]
Hiroshi Unno,Tachio Terauchi,Naoki Kobayashi
In Proceedings of the 40th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL 2013), ACM SIGPLAN Notices   48(1) 75-86   2013年   [査読有り]
Hirotoshi Yasuoka,Tachio Terauchi
In Proceedings of the 10th Workshop on Quantitative Aspects of Programming Languages and Systems (QAPL 2012), Electronic Proceedings in Theoretical Computer Science   85 77-91   2012年   [査読有り]
Hirotoshi Yasuoka,Tachio Terauchi
Journal of Computer Security   19(6) 1029-1082   2011年   [査読有り]
Tachio Terauchi
In Proceedings of the 37th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL 2010), ACM SIGPLAN Notices   45(1) 119-130   2010年   [査読有り]
Hirotoshi Yasuoka,Tachio Terauchi
In Proceedings of the 15th European Symposium on Research in Computer Security (ESORICS 2010), Lecture Notes in Computer Science   6345 357-372   2010年   [査読有り]
Hirotoshi Yasuoka,Tachio Terauchi
In Proceedings of the 23rd IEEE Computer Security Foundations Symposium (CSF 2010)   15-27   2010年   [査読有り]
Hirotoshi Yasuoka,Tachio Terauchi
In Proceedings of the 16th International Static Analysis Symposium (SAS 2009), Lecture Notes in Computer Science   5673 36-51   2009年   [査読有り]
Tachio Terauchi
In Proceedings of the ACM SIGPLAN 2008 Conference on Programming Language Design and Implementation (PLDI 2008), ACM SIGPLAN Notices   43(6) 1-10   2008年   [査読有り]
Tachio Terauchi,Adam Megacz
In Proceedings of the 17th European Symposium on Programming (ESOP 2008), Lecture Notes in Computer Science   4960 284-298   2008年   [査読有り]
Tachio Terauchi
In Proceedings of the 21st IEEE Computer Security Foundations Symposium (CSF 2008)   287-300   2008年   [査読有り]
Tachio Terauchi,Alex Aiken
ACM Transactions on Programming Languages and Systems (TOPLAS)   30(5) 27:1-27:30   2008年   [査読有り]
Tachio Terauchi,Alex Aiken
ACM Transactions on Programming Languages and Systems (TOPLAS)   30(3) 15:1-15:42   2008年   [査読有り]
Tachio Terauchi,Alex Aiken
In Proceedings of the 21st IEEE Symposium on Logic in Computer Science (LICS 2006)   111-122   2006年   [査読有り]
Tachio Terauchi,Alex Aiken
In Proceedings of the 17th International Conference on Concurrency Theory (CONCUR 2006), Lecture Notes in Computer Science   4137 218-232   2006年   [査読有り]
Tachio Terauchi,Alexander Aiken
In Proceedings of the 12th International Static Analysis Symposium (SAS 2005), Lecture Notes in Computer Science   3672 352-367   2005年   [査読有り]
Tachio Terauchi,Alexander Aiken
In Proceedings of the 10th ACM SIGPLAN International Conference on Functional Programming (ICFP 2005), ACM SIGPLAN Notices   40(9) 105-115   2005年   [査読有り]
Alexander Aiken,Jeffrey S. Foster,John Kodumal,Tachio Terauchi
In Proceedings of the ACM SIGPLAN 2003 Conference on Programming Language Design and Implementation (PLDI 2003), ACM SIGPLAN Notices   38(5) 129-140   2003年   [査読有り]
Jeffrey S. Foster,Tachio Terauchi,Alexander Aiken
In Proceedings of the ACM SIGPLAN 2002 Conference on Programming Language Design and Implementation (PLDI 2002), ACM SIGPLAN Notices   37(5) 1-12   2002年   [査読有り]
Tobias Höllerer,Steven Feiner,Tachio Terauchi,Gus Rashid,Drexel Hallaway
Computers & Graphics   23(6) 779-785   1999年   [査読有り]

講演・口頭発表等

 
A Fixpoint Logic and Dependent Effects for Temporal Property Verification [招待有り]
Yoji Nanjo, Hiroshi Unno, Eric Koskinen, Tachio Terauchi
Dagstuhl Seminar 19371: Deduction Beyond Satisfiability   2019年9月   
Solving First-Order Fixpoint Logic for Program Verification [招待有り]
Takashi Nishikawa, Yuki Satake, Yoji Nanjo, Hiroshi Unno, Naoki Kobayashi, Tachio Terauchi, Eric Koskinen
Third Workshop on Mathematical Logic and its Applications (MLA 2019)   2019年3月   
On Cut-Elimination Theorem in Cyclic-Proof Systems
Koji Nakazawa, Daisuke Kimura, Tachio Terauchi, Hiroshi Unno, Kenji Saotome
Third Workshop on Mathematical Logic and its Applications (MLA 2019)   2019年3月   
Failure of Cut-Elimination in Cyclic Proofs of Separation Logic
Daisuke Kimura, Koji Nakazawa, Tachio Terauchi, Hiroshi Unno
日本ソフトウェア科学会 第21回プログラミングおよびプログラミング言語ワークショップ(PPL2019)   2019年3月   
On Cut-elimination in Cyclic Proof Systems
Daisuke Kimura, Koji Nakazawa, Tachio Terauchi, Hiroshi Unno
The 4th Workshop on New Ideas and Emerging Results in Programming Languages and Systems (NIER 2018)   2018年12月   
Information Flow Security and its Applications to Side Channel Attack Resilience [招待有り]
Tachio Terauchi
The 4th Franco-Japanese Workshop on Cybersecurity   2018年5月   
Dependent Temporal Effects and Fixpoint Logic for Verification (ポスター発表)
Yoji Nanjo, Hiroshi Unno, Eric Koskinen, Tachio Terauchi
日本ソフトウェア科学会 第20回プログラミングおよびプログラミング言語ワークショップ(PPL2018)   2018年3月   
Compositional Synthesis of Leakage Resilient Programs.
Tachio Terauchi
NII Shonan Meeting Seminar 115: Intensional and Extensional Aspects of Computation: From Computability and Complexity to Program Analysis and Security   2018年1月   
On Predicate Refinement Heuristics in Program Verification with CEGAR [招待有り]
Tachio Terauchi
The 3rd Workshop on Horn Clauses for Verification and Synthesis (HCVS 2016)   2016年4月   
On Temporal Verification of Higher-Order Functional Programs [招待有り]
Tachio Terauchi
NII Shonan Meeting Seminar 078: Higher-Order Model Checking   2016年3月   
Temporal Verification of Higher-Order Functional Programs [招待有り]
Tachio Terauchi
Dagstuhl Seminar 16131: Language Based Verification Tools for Functional Programs   2016年3月   
Verification of Object-Oriented Programs via Refinement Types (Poster presentation)
Nam Mai, Tachio Terauchi
The 13th Asian Symposium on Programming Languages and Systems (APLAS 2015)   2015年11月   
Predicate Refinement Heuristics in Program Verification with CEGAR [招待有り]
Tachio Terauchi
NII Shonan Meeting Seminar 063: Semantics and Verification of Object-Oriented Languages   2015年9月   
Information Flow Analysis and Applications to Computer Security [招待有り]
Tachio Terauchi
NII Shonan Meeting Seminar 065: Low-level Code Analysis and Applications to Computer Security   2015年3月   
効率の良いLeakage Resilientプログラムの自動生成に向けて (ポスター発表)
山本真輝, 寺内多智弘
日本ソフトウェア科学会 第17回プログラミングおよびプログラミング言語ワークショップ (PPL 2015)   2015年3月   
プログラム検証とインバリアント生成 [招待有り]
寺内 多智弘
日本ソフトウェア科学会第31回全国大会   2014年9月   
On Complexity of Verifying Quantitative Information Flow [招待有り]
Tachio Terauchi
Dagstuhl Seminar 12481: Quantitative Security Analysis   2012年11月   
Automated Verification of Higher-Order Functional Programs [招待有り]
Tachio Terauchi
The 11th International Symposium on Functional and Logic Programming (FLOPS 2012)   2012年5月   
Relatively Complete Refinement Types from Counterexamples [招待有り]
Tachio Terauchi
NII Shonan Meeting Seminar 005: Automated Techniques for Higher-Order Program Verification   2011年9月   
Dependent Types from Counterexamples (ポスター発表)
寺内 多智弘
日本ソフトウェア科学会 第12回プログラミングおよびプログラミング言語ワークショップ (PPL 2010)   2010年3月   
Classification of Cancer Tissue Types by Support Vector Machines using Micro Array Gene Expression Data (Poster presentation)
Jinsong Cai, Aynur Dayanik, Hong Yu, Naveed Hasan, Tachio Terauchi, and William N. Grundy
The 8th International Conference on Intelligent Systems for Molecular Biology (ISMB 2000)   2000年8月   

所属学協会

 
 

競争的資金等の研究課題

 
日本学術振興会: 科学研究費補助金 基盤研究(B)
研究期間: 2017年4月 - 2022年3月    代表者: 寺内 多智弘
日本学術振興会: 科学研究費補助金 挑戦的研究(萌芽)
研究期間: 2018年4月 - 2021年3月    代表者: 寺内 多智弘
数理論理学とその応用の国際研究拠点形成
日本学術振興会: 研究拠点形成事業 先端拠点形成型
研究期間: 2015年4月 - 2020年3月    代表者: 石原 哉
論理的ー形式的手法による情報セキュリティ研究ー暗号プロトコル検証と量的情報流解析
日本学術振興会: 二国間交流事業 共同研究 (AYAMEプログラム)
研究期間: 2016年4月 - 2019年3月    代表者: 岡田 光弘
実用効率の振舞いに基づくソフトウェア検証の数理的構造
日本学術振興会: 二国間交流事業 共同研究
研究期間: 2015年4月 - 2017年12月    代表者: 結縁 祥治
日本学術振興会: 科学研究費補助金 基盤研究(C)
研究期間: 2014年4月 - 2017年3月    代表者: 寺内 多智弘
日本学術振興会: 科学研究費補助金 基盤研究(B)
研究期間: 2013年4月 - 2017年3月    代表者: 結縁 祥治
日本学術振興会: 科学研究費補助金 若手研究(B)
研究期間: 2011年4月 - 2014年3月    代表者: 寺内 多智弘
高階プログラムのための時相論理仕様検証
日本学術振興会: 外国人特別研究員(欧米短期)事業
研究期間: 2013年 - 2013年    代表者: 寺内 多智弘 (受入研究者)
日本学術振興会: 科学研究費補助金 若手研究(B)
研究期間: 2008年4月 - 2011年3月    代表者: 寺内 多智弘
日本学術振興会: 科学研究費補助金 基盤研究(A)
研究期間: 2008年4月 - 2011年3月    代表者: 小林 直樹