Tachio Terauchi

J-GLOBAL         Last updated: Dec 7, 2019 at 20:53
Tachio Terauchi
Waseda University
Department of Computer Science and Engineering
Job title
Ph.D.(University of California, Berkeley), M.S.(University of California, Berkeley), B.S.(Columbia University)
Research funding number


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 Areas


Academic & Professional Experience

Sep 2017
Professor, Department of Computer Science and Engineering, Waseda University
Apr 2014
Sep 2017
Professor, School of Information Science, Japan Advanced Institute of Science and Technology
Apr 2011
Mar 2014
Associate professor, Graduate School of Information Science, Nagoya University
Jan 2007
Mar 2011
Assistant Professor, Graduate School of Information Sciences, Tohoku University


Sep 2000
Aug 2006
Computer Science Division, Department of Electrical Engineering and Computer Sciences, University of California, Berkeley
Sep 1996
May 2000
Computer Science Major, School of Engineering and Applied Science, Columbia University

Committee Memberships

Apr 2014
IPSJ Special Interest Group on Programming  Steering Committee
JSSST The 22nd Programming and Programming Language Workshop (PPL 2020)  Program Committee
The 15th International Symposium on Functional and Logic Programming (FLOPS 2020)  Program Committee
The International Conference on Software Testing, Machine Learning and Complex Process Analysis (TMPA-2019)  Program Committee
The 11th Working Conference on Verified Software: Theories, Tools, and Experiments (VSTTE 2019)  Program Committee

Awards & Honors

Apr 2017
Nominee, The EASST Award for the Best ETAPS Paper Related to the Systematic and Rigorous Engineering of Software and Systems., European Association for Software Science and Technology
Winner: Arthur Blot, Masaki Yamamoto, Tachio Terauchi

Published Papers

Timos Antonopoulos and Tachio Terauchi
In Proceedings of the 32nd IEEE Computer Security Foundations Symposium (CSF 2019)   216-229   2019   [Refereed]
Tachio Terauchi,Timos Antonopoulos
In Proceedings of the 8th International Conference on Principles of Security and Trust (POST 2019)   29-50   2019   [Refereed]
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   [Refereed]
Hiroshi Unno,Yuki Satake,Tachio Terauchi
PACMPL   2(POPL) 12:1-12:29   2018   [Refereed]
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   [Refereed]

Conference Activities & Talks

A Fixpoint Logic and Dependent Effects for Temporal Property Verification [Invited]
Yoji Nanjo, Hiroshi Unno, Eric Koskinen, Tachio Terauchi
Dagstuhl Seminar 19371: Deduction Beyond Satisfiability   Sep 2019   
Solving First-Order Fixpoint Logic for Program Verification [Invited]
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   
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   
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)   Dec 2018   
Information Flow Security and its Applications to Side Channel Attack Resilience [Invited]
Tachio Terauchi
The 4th Franco-Japanese Workshop on Cybersecurity   May 2018   

Research Grants & Projects

JSPS: Grant-in-Aid for Scientific Research (B)
Project Year: Apr 2017 - Mar 2022    Investigator(s): Tachio Terauchi
JSPS: Grant-in-Aid for Challenging Research (Exploratory)
Project Year: Apr 2018 - Mar 2021    Investigator(s): Tachio Terauchi
Foundation of a Global Core Research Center for Mathematical Logic and its Application.
JSPS: Core-to-Core Program A. Advanced Research Networks.
Project Year: Apr 2015 - Mar 2020    Investigator(s): Hajime Ishihara
Logical and Formal Methods for Information Security - with Special Focus on Cryptographic Protocol Verification and Quantitative Information Flow Analysis
JSPS: Bilateral Programs (AYAME Program)
Project Year: Apr 2016 - Mar 2019    Investigator(s): Mitsuhiro Okada
Mathematical Structure of Software Verification Based on Practically Efficient Behavior.
JSPS: Bilateral Programs.
Project Year: Apr 2015 - Dec 2017    Investigator(s): Shoji Yuen