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