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.
IPSJ Special Interest Group on Programming Steering 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
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
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]
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]
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]
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]
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]
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]
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]
In Proceedings of the 37th ACM SIGPLANSIGACT Symposium on Principles of Programming Languages (POPL 2010), ACM SIGPLAN Notices 45(1) 119-130 2010 [Refereed]
In Proceedings of the 15th European Symposium on Research in Computer Security (ESORICS 2010), Lecture Notes in Computer Science 6345 357-372 2010 [Refereed]
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]
In Proceedings of the 17th International Conference on Concurrency Theory (CONCUR 2006), Lecture Notes in Computer Science 4137 218-232 2006 [Refereed]
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]
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]
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
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
