Tachio Terauchi

J-GLOBAL         Last updated: Oct 10, 2019 at 19:56
 
Avatar
Name
Tachio Terauchi
URL
http://www.f.waseda.jp/terauchi/
Affiliation
Waseda University
Section
Department of Computer Science and Engineering
Job title
Professor
Degree
Ph.D.(University of California, Berkeley), M.S.(University of California, Berkeley), B.S.(Columbia University)
Research funding number
70447150

Profile

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
 - 
Today
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
 

Education

 
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
 - 
Today
IPSJ Special Interest Group on Programming  Steering Committee
 
2019
 - 
2020
JSSST The 22nd Programming and Programming Language Workshop (PPL 2020)  Program Committee
 
2019
 - 
2020
The 15th International Symposium on Functional and Logic Programming (FLOPS 2020)  Program Committee
 
2018
 - 
2019
The international Conference on Software Testing, Machine Learning and Complex Process Analysis (TMPA-2019)  Program Committee
 
2018
 - 
2019
The 11th Working Conference on Verified Software: Theories, Tools, and Experiments (VSTTE 2019)  Program Committee
 
2018
 - 
2019
The 17th International Symposium on Automated Technology for Verification and Analysis (ATVA 2019)  Program Committee
 
2018
 - 
2019
The 17th Asian Symposium on Programming Languages and Systems (APLAS 2019)  Program Committee
 
2018
 - 
2019
The 26th International Symposium on Static Analysis (SAS 2019)  Program Committee
 
2017
 - 
2018
The 19th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI 2018)  Program Committee
 
2017
 - 
2018
The 45th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL 2018)  Program Committee
 
2017
 - 
2018
The 16th Asian Symposium on Programming Languages and Systems (APLAS 2018)  Program Committee
 
2017
 - 
2018
The 10th Working Conference on Verified Software: Theories, Tools, and Experiments (VSTTE 2018)  Program Committee
 
2016
 - 
2017
NII Shonan Seminar 115: Intensional and Extensional Aspects of Computation: From Computability and Complexity to Program Analysis and Security  Co-Organizer
 
2016
 - 
2017
The 15th Asian Symposium on Programming Languages and Systems (APLAS 2017)  Program Committee
 
2016
 - 
2017
The 9th Working Conference on Verified Software: Theories, Tools, and Experiments (VSTTE 2017)  Program Committee
 
2016
 - 
2017
The 11th International Workshop on Reachability Problems (RP 2017)  Program Committee
 
2016
 - 
2017
The 4th International Conference on Tools and Methods of Program Analysis (TMPA 2017)  Program Committee
 
2016
 - 
2017
The 26th European Symposium on Programming (ESOP 2017)  Program Committee
 
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)  Program Committee
 
2015
 - 
2016
The 43rd International Colloquium on Automata, Languages, and Programming (ICALP 2016) (Track B)  Program Committee
 
2015
 - 
2016
The 17th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI 2016)  Program Committee
 
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  Co-Organizer
 
2014
 - 
2015
Workshop on Higher-Order Program Analysis (HOPA 2015)  Program Committee
 
2014
 - 
2015
ACM SIGPLAN 10th Workshop on Programming Languages and Analysis for Security (PLAS 2015)  Program Committee
 
2014
 - 
2015
The 30th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2015)  Program Committee
 
2013
 - 
2014
Joint Workshop on Foundations of Computer Security and Formal and Computational Cryptography (FCS-FCC'14)  Program Committee
 
2013
 - 
2014
Workshop on Higher-Order Program Analysis (HOPA 2014)  Program Committee
 
2013
 - 
2014
The 12th International Symposium on Functional and Logic Programming (FLOPS 2014)  Program Committee
 
2013
 - 
2014
The 15th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI 2014)  Program Committee
 
2013
 - 
2014
The 9th Special Section on Formal Approach, IEICE Transactions on Information and Systems  Editor
 
2012
 - 
2013
The 22nd EACSL Annual Conference on Computer Science Logic (CSL 2013)  Program Committee
 
2012
 - 
2013
The 40th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL 2013)  External Review Committee
 
2012
 - 
2013
The 8th Special Section on Formal Approach, IEICE Transactions on Information and Systems  Editor
 
2011
 - 
2012
The 10th Asian Symposium on Programming Languages and Systems (APLAS 2012)  Program Committee
 
2011
 - 
2012
The 39th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL 2012)  Program Committee
 
2011
 - 
2012
The 7th Special Section on Formal Approach, IEICE Transactions on Information and Systems  Editor
 
2010
 - 
2011
The 10th International Conference on Typed Lambda Calculi and Applications (TLCA 2011)  Program Committee
 
2010
 - 
2011
The 20th European Symposium on Programming (ESOP 2011)  Program Committee
 
2010
 - 
2011
The 5th ACM SIGPLAN Workshop on Programming Languages meets Program Verification (PLPV 2011)  Program Committee
 
2010
 - 
2011
The 12th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI 2011)  Program Committee
 
2010
 - 
2011
The 6th ACM SIGPLAN Workshop on Types in Language Design and Implementation (TLDI 2011)  Program Committee
 
2009
 - 
2010
ACM SIGPLAN 2010 Conference on Programming Language Design and Implementation (PLDI 2010)  External Review Committee
 
2009
 - 
2010
JSSST The 12th Programming and Programming Language Workshop (PPL 2010)  Program Co-Chair
 
2009
 - 
2009
JSSST The 11th Programming and Programming Language Workshop (PPL 2009)  Program Committee
 
2008
 - 
2009
ACM SIGPLAN 4th Workshop on Programming Languages and Analysis for Security (PLAS 2009)  Program Committee
 
2008
 - 
2009
The 24th Annual ACM Symposium on Applied Computing (ACM SAC 2009) (Programming Languages Track)  Program Committee
 
2007
 - 
2008
The 15th International Static Analysis Symposium (SAS 2008)  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]
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   [Refereed]
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   [Refereed]
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   [Refereed]
Tachio Terauchi
In Proceedings of the 22nd International Static Analysis Symposium (SAS 2015), Lecture Notes in Computer Science   9291 128-144   2015   [Refereed]
Tachio Terauchi,Hiroshi Unno
In Proceedings of the 24th European Symposium on Programming (ESOP 2015), Lecture Notes in Computer Science   9032 610-633   2015   [Refereed]
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   [Refereed]
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   [Refereed]
Hirotoshi Yasuoka,Tachio Terauchi
Theoretical Computer Science   538 167-182   2014   [Refereed]
Takuya Kuwahara,Tachio Terauchi,Hiroshi Unno,Naoki Kobayashi
IPSJ Transactions on Programming   6(3) 20-32   Dec 2013   [Refereed]
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   [Refereed]
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   [Refereed]
Hirotoshi Yasuoka,Tachio Terauchi
Journal of Computer Security   19(6) 1029-1082   2011   [Refereed]
Tachio Terauchi
In Proceedings of the 37th ACM SIGPLANSIGACT Symposium on Principles of Programming Languages (POPL 2010), ACM SIGPLAN Notices   45(1) 119-130   2010   [Refereed]
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   [Refereed]
Hirotoshi Yasuoka,Tachio Terauchi
In Proceedings of the 23rd IEEE Computer Security Foundations Symposium (CSF 2010)   15-27   2010   [Refereed]
Hirotoshi Yasuoka,Tachio Terauchi
In Proceedings of the 16th International Static Analysis Symposium (SAS 2009), Lecture Notes in Computer Science   5673 36-51   2009   [Refereed]
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   [Refereed]
Tachio Terauchi,Adam Megacz
In Proceedings of the 17th European Symposium on Programming (ESOP 2008), Lecture Notes in Computer Science   4960 284-298   2008   [Refereed]
Tachio Terauchi
In Proceedings of the 21st IEEE Computer Security Foundations Symposium (CSF 2008)   287-300   2008   [Refereed]
Tachio Terauchi,Alex Aiken
ACM Transactions on Programming Languages and Systems (TOPLAS)   30(5) 27:1-27:30   2008   [Refereed]
Tachio Terauchi,Alex Aiken
ACM Transactions on Programming Languages and Systems (TOPLAS)   30(3) 15:1-15:42   2008   [Refereed]
Tachio Terauchi,Alex Aiken
In Proceedings of the 21st IEEE Symposium on Logic in Computer Science (LICS 2006)   111-122   2006   [Refereed]
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   [Refereed]
Tachio Terauchi,Alexander Aiken
In Proceedings of the 12th International Static Analysis Symposium (SAS 2005), Lecture Notes in Computer Science   3672 352-367   2005   [Refereed]
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   [Refereed]
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   [Refereed]
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   [Refereed]
Tobias Höllerer,Steven Feiner,Tachio Terauchi,Gus Rashid,Drexel Hallaway
Computers & Graphics   23(6) 779-785   1999   [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   
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   Jan 2018   
On Predicate Refinement Heuristics in Program Verification with CEGAR [Invited]
Tachio Terauchi
The 3rd Workshop on Horn Clauses for Verification and Synthesis (HCVS 2016)   Apr 2016   
On Temporal Verification of Higher-Order Functional Programs [Invited]
Tachio Terauchi
NII Shonan Meeting Seminar 078: Higher-Order Model Checking   Mar 2016   
Temporal Verification of Higher-Order Functional Programs [Invited]
Tachio Terauchi
Dagstuhl Seminar 16131: Language Based Verification Tools for Functional Programs   Mar 2016   
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)   Nov 2015   
Predicate Refinement Heuristics in Program Verification with CEGAR [Invited]
Tachio Terauchi
NII Shonan Meeting Seminar 063: Semantics and Verification of Object-Oriented Languages   Sep 2015   
Information Flow Analysis and Applications to Computer Security [Invited]
Tachio Terauchi
NII Shonan Meeting Seminar 065: Low-level Code Analysis and Applications to Computer Security   Mar 2015   
On Complexity of Verifying Quantitative Information Flow [Invited]
Tachio Terauchi
Dagstuhl Seminar 12481: Quantitative Security Analysis   Nov 2012   
Automated Verification of Higher-Order Functional Programs [Invited]
Tachio Terauchi
The 11th International Symposium on Functional and Logic Programming (FLOPS 2012)   May 2012   
Relatively Complete Refinement Types from Counterexamples [Invited]
Tachio Terauchi
NII Shonan Meeting Seminar 005: Automated Techniques for Higher-Order Program Verification   Sep 2011   
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)   Aug 2000   

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
JSPS: Grant-in-Aid for Scientific Research (C)
Project Year: Apr 2014 - Mar 2017    Investigator(s): Tachio Terauchi
JSPS: Grant-in-Aid for Scientific Research (B)
Project Year: Apr 2013 - Mar 2017    Investigator(s): Shoji Yuen
JSPS: Grant-in-Aid for Young Scientists (B).
Project Year: Apr 2011 - Mar 2014    Investigator(s): Tachio Terauchi
Temporal Property Verification of Higher-Order Programs
JSPS: Postdoctoral Fellowship for Research in Japan.
Project Year: 2013 - 2013    Investigator(s): Tachio Terauchi (Host Researcher)
JSPS: Grant-in-Aid for Young Scientists (B)
Project Year: Apr 2008 - Mar 2011    Investigator(s): Tachio Terauchi
JSPS: Grant-in Aid for Scientific Research (A)
Project Year: Apr 2008 - Mar 2011    Investigator(s): Naoki Kobayashi
-