Tachio Terauchi

Profile Information

Affiliation: Waseda University Department of Computer Science and Engineering Professor

Degree: Ph.D.(University of California, Berkeley)
M.S.(University of California, Berkeley)
B.S.(Columbia University)

Researcher number: 70447150
J-GLOBAL ID: 200901015211509541

External link: http://www.f.waseda.jp/terauchi/

Tachio Terauchi is a professor in the Department of Computer Science and Engineering at Waseda University. He received his M.S. and Ph.D. from University of California Berkeley in 2004 and 2006, and B.S. from Columbia University in 2000, all in computer science. Before joining Waseda, he was a professor at JAIST from 2014 to 2017, an associate professor at Nagoya University from 2011 to 2014, and an assistant professor at Tohoku University from 2007 to 2011. Terauchi is interested in techniques for building reliable computational systems. His work draws from, and contributes to the areas of programming languages, program analysis, program verification, program synthesis, type systems, mathematical logic, automated deduction, and security.

Research Interests

Research Areas

Research History

Sep, 2017 - Present

Waseda University Department of Computer Science and Engineering Professor
Apr, 2014 - Sep, 2017

Japan Advanced Institute of Science and Technology School of Information Science Professor
Apr, 2011 - Mar, 2014

Nagoya University Graduate School of Information Science Associate professor
Jan, 2007 - Mar, 2011

Tohoku University Graduate School of Information Sciences Assistant Professor

Education

Sep, 2000 - Aug, 2006

University of California, Berkeley Department of Electrical Engineering and Computer Sciences Computer Science Division
Sep, 1996 - May, 2000

Columbia University School of Engineering and Applied Science Computer Science Major

Committee Memberships

Apr, 2020 - Present

JSSST Special Interest Group on Programming and Programming Languages Steering Committee
Apr, 2018 - Present

IPSJ Special Interest Group on Programming Steering Committee
2021 - 2022

The 35th IEEE Computer Security Foundations Symposium (CSF 2022) Program Committee Program Committee
2021 - 2022

37th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2022) Program Committee
2021 - 2022

49th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL 2022) Program Committee

Awards

Dec, 2019

Waseda University WASEDA RESEARCH AWARD High-Impact Publication

Tachio Terauchi
Apr, 2017

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
Mar, 2008

ソフトウェア科学会第10回プログラミングおよびプログラミング言語ワークショップ (PPL 2008) 発表賞(一般)

寺内多智弘
2008

情報処理学会東北支部第4回野口研究奨励賞

寺内多智弘

Papers

Bucketing and Information Flow Analysis for Provable Timing Attack Mitigation

Tachio Terauchi, Timos Antonopoulos

Journal of Computer Security 28(6) 607 - 634 2020 Peer-reviewed
Failure of Cut-Elimination in Cyclic Proofs of Separation Logic

Daisuke Kimura, Koji Nakazawa, Tachio Terauchi, Hiroshi Unno

Computer Software 37(1) 1_39 - 1_52 2020 Peer-reviewedInvited
Games for Security under Adaptive Adversaries.

Timos Antonopoulos, Tachio Terauchi

In Proceedings of the 32nd IEEE Computer Security Foundations Symposium (CSF 2019) 216 - 229 2019 Peer-reviewed
A Formal Analysis of Timing Channel Security via Bucketing.

Tachio Terauchi, Timos Antonopoulos

In Proceedings of the 8th International Conference on Principles of Security and Trust (POST 2019) 29 - 50 2019 Peer-reviewed
A Fixpoint Logic and Dependent Effects for Temporal Property Verification.

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 Peer-reviewed

Presentations

Inferring Simple Strategies for Efficient Quantified SMT Solving (Poster Presentation)

Souta Yamauchi, Tachio Terauchi

17th Asian Symposium on Programming Languages and Systems (APLAS 2019) Dec, 2019
A Fixpoint Logic and Dependent Effects for Temporal Property Verification

Yoji Nanjo, Hiroshi Unno, Eric Koskinen, Tachio Terauchi

Dagstuhl Seminar 19371: Deduction Beyond Satisfiability Sep, 2019 Invited
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) Mar, 2019 Invited
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) Mar, 2019
Failure of Cut-Elimination in Cyclic Proofs of Separation Logic

JSSST The 21st Programming and Programming Language Workshop (PPL 2019) Mar, 2019

Professional Memberships

Research Projects

Understanding malware semantics by AI-supported formal methods

Japan Society for the Promotion of Science Grants-in-Aid for Scientific Research Challenging Research (Pioneering) Jul, 2020 - Mar, 2026
Synthesis of High-Level Programs from Temporal and Relational Specifications

Japan Society for the Promotion of Science Grants-in-Aid for Scientific Research Grant-in-Aid for Scientific Research (B) Apr, 2020 - Mar, 2025
Verification of high-level programs containing mutable higher-order recursive data structures

Japan Society for the Promotion of Science Grants-in-Aid for Scientific Research Grant-in-Aid for Scientific Research (B) Apr, 2017 - Mar, 2022

Tachio Terauchi, Hiroshi Unno
Program verification and program synthesis for side-channel attack resilience

Japan Society for the Promotion of Science Grants-in-Aid for Scientific Research Challenging Research (Exploratory) Jun, 2018 - Mar, 2021

Tachio Terauchi
Foundation of a Global Core Research Center for Mathematical Logic and its Application.

JSPS Core-to-Core Program A. Advanced Research Networks. Apr, 2015 - Mar, 2020

Hajime Ishihara