Tachio Terauchi

J-GLOBAL         Last updated: Nov 12, 2018 at 19:01
 
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
 
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
 

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

 
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]

Conference Activities & Talks

 
Information Flow Security and its Applications to Side Channel Attack Resilience (Invited talk) [Invited]
Tachio Terauchi
The 4th Franco-Japanese Workshop on Cybersecurity   May 2018   
On Predicate Refinement Heuristics in Program Verification with CEGAR (Invited talk) [Invited]
Tachio Terauchi
The 3rd Workshop on Horn Clauses for Verification and Synthesis (HCVS 2016)   Apr 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   
Automated Verification of Higher-Order Functional Programs (Invited talk) [Invited]
Tachio Terauchi
The 11th International Symposium on Functional and Logic Programming (FLOPS 2012)   May 2012   
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