
Tachio Terauchi
(寺内 多智弘)
Modified on: 05/28
Profile Information
- Affiliation
- Professor, Department of Computer Science and Engineering, Waseda University
- Degree
-
Ph.D.(University of California, Berkeley)M.S.(University of California, Berkeley)B.S.(Columbia University)
- Researcher number
- 70447150
- J-GLOBAL ID
- 200901015211509541
- researchmap Member ID
- 6000003825
- External link
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 Interests
6Research Areas
2Research History
4-
Sep, 2017 - Present
-
Apr, 2011 - Mar, 2014
-
Jan, 2007 - Mar, 2011
Education
2Committee Memberships
68-
Apr, 2018 - Mar, 2022
-
Apr, 2015 - Mar, 2020
Awards
5Papers
36-
In Proceedings of the 33rd International Conference on Computer-Aided Verification (CAV 2021), Lecture Notes in Computer Science 12759, pp.742-766, Springer, 2021 Peer-reviewed
-
Journal of Computer Security, 28(6) 607-634, 2020 Peer-reviewed
-
Computer Software, 37(1) 1_39-1_52, 2020 Peer-reviewedInvited
-
In Proceedings of the 32nd IEEE Computer Security Foundations Symposium (CSF 2019), pp.216-229, IEEE Computer Society, 2019 Peer-reviewed
-
In Proceedings of the 8th International Conference on Principles of Security and Trust (POST 2019), Lecture Notes in Computer Science 11426, pp.29-50, Springer, 2019 Peer-reviewed
-
In Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2018), pp. 759-768, ACM, 2018 Peer-reviewed
-
PACMPL, 2(POPL) 12:1-12:29, 2018 Peer-reviewed
-
In Proceedings of the 6th International Conference on Principles of Security and Trust (POST 2017), Lecture Notes in Computer Science 10204, pp.277-297, Springer, 2017 Peer-reviewed
-
In Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI 2017), ACM SIGPLAN Notices 52 (6), pp.362-375. ACM, 2017 Peer-reviewed
-
In Proceedings of the 43rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL 2016), ACM SIGPLAN Notices 51 (1), pp.57-68, ACM., 2016 Peer-reviewed
-
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, pp.149-163, Springer, 2015 Peer-reviewed
-
In Proceedings of the 22nd International Static Analysis Symposium (SAS 2015), Lecture Notes in Computer Science 9291, pp.128-144, Springer, 2015 Peer-reviewed
-
In Proceedings of the 24th European Symposium on Programming (ESOP 2015), Lecture Notes in Computer Science 9032, pp.610-633, Springer, 2015 Peer-reviewed
-
In Proceedings of the 23rd European Symposium on Programming (ESOP 2014), Lecture Notes in Computer Science 8410, pp.392-411, Springer, 2014 Peer-reviewed
-
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), pp.59:1-59:10, ACM, 2014 Peer-reviewed
-
Theoretical Computer Science, 538 167-182, 2014 Peer-reviewed
-
In Proceedings of the 40th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL 2013), ACM SIGPLAN Notices 48 (1), pp.75-86, ACM, January, 2013., Jan, 2013 Peer-reviewed
-
IPSJ Transactions on Programming, 6(3) 20-32, 2013 Peer-reviewed
-
In Proceedings of the 10th Workshop on Quantitative Aspects of Programming Languages and Systems (QAPL 2012), Electronic Proceedings in Theoretical Computer Science 85, pp.77-91, 2012 Peer-reviewed
-
Journal of Computer Security, 19(6) 1029-1082, 2011 Peer-reviewedInvited
Presentations
29-
JSSST The 24th Programming and Programming Language Workshop (PPL 2022), Mar, 2022
-
JSSST The 24th Programming and Programming Language Workshop (PPL 2022), Mar, 2022
-
Workshop on Hyperproperties: Advances in Theory and Practice (HYPER 2021), Oct, 2021 Invited
-
17th Asian Symposium on Programming Languages and Systems (APLAS 2019), Dec, 2019
-
Dagstuhl Seminar 19371: Deduction Beyond Satisfiability, Sep, 2019 Invited
-
Third Workshop on Mathematical Logic and its Applications (MLA 2019), Mar, 2019 Invited
-
Third Workshop on Mathematical Logic and its Applications (MLA 2019), Mar, 2019
-
JSSST The 21st Programming and Programming Language Workshop (PPL 2019), Mar, 2019
-
JSSST The 21st Programming and Programming Language Workshop (PPL 2019), Mar, 2019
-
The 4th Workshop on New Ideas and Emerging Results in Programming Languages and Systems (NIER 2018), Dec, 2018
-
The 4th Franco-Japanese Workshop on Cybersecurity, May, 2018 Invited
-
JSSST The 20th Programming and Programming Language Workshop (PPL 2018), Mar, 2018
-
NII Shonan Meeting Seminar 115: Intensional and Extensional Aspects of Computation: From Computability and Complexity to Program Analysis and Security, Jan, 2018
-
The 3rd Workshop on Horn Clauses for Verification and Synthesis (HCVS 2016), Apr, 2016 Invited
-
NII Shonan Meeting Seminar 078: Higher-Order Model Checking, Mar, 2016 Invited
-
Dagstuhl Seminar 16131: Language Based Verification Tools for Functional Programs, Mar, 2016 Invited
-
The 13th Asian Symposium on Programming Languages and Systems (APLAS 2015), Nov, 2015
-
NII Shonan Meeting Seminar 063: Semantics and Verification of Object-Oriented Languages, Sep, 2015 Invited
-
NII Shonan Meeting Seminar 065: Low-level Code Analysis and Applications to Computer Security, Mar, 2015 Invited
-
ソフトウェア科学会 第17回プログラミングおよびプログラミング言語ワークショップ (PPL 2015), Mar, 2015
Professional Memberships
3Research Projects
14-
Grants-in-Aid for Scientific Research Challenging Research (Pioneering), Japan Society for the Promotion of Science, Jul, 2020 - Mar, 2026
-
Grants-in-Aid for Scientific Research Grant-in-Aid for Scientific Research (B), Japan Society for the Promotion of Science, Apr, 2020 - Mar, 2025
-
Grants-in-Aid for Scientific Research Grant-in-Aid for Scientific Research (B), Japan Society for the Promotion of Science, Apr, 2017 - Mar, 2022
-
Grants-in-Aid for Scientific Research Challenging Research (Exploratory), Japan Society for the Promotion of Science, Jun, 2018 - Mar, 2021
-
Core-to-Core Program A. Advanced Research Networks., JSPS, Apr, 2015 - Mar, 2020
-
Bilateral Programs (AYAME Program), JSPS, Apr, 2016 - Mar, 2019
-
Bilateral Programs., JSPS, Apr, 2015 - Dec, 2017
-
Grants-in-Aid for Scientific Research Grant-in-Aid for Scientific Research (C), Japan Society for the Promotion of Science, Apr, 2014 - Mar, 2017
-
Grants-in-Aid for Scientific Research Grant-in-Aid for Scientific Research (B), Japan Society for the Promotion of Science, Apr, 2013 - Mar, 2017
-
Postdoctoral Fellowship for Research in Japan., JSPS, 2013 - 2013
-
Grants-in-Aid for Scientific Research Grant-in-Aid for Young Scientists (B), Japan Society for the Promotion of Science, 2011 - 2013
-
Grants-in-Aid for Scientific Research Grant-in-Aid for Scientific Research (A), Japan Society for the Promotion of Science, 2008 - 2010
-
Grants-in-Aid for Scientific Research Grant-in-Aid for Young Scientists (B), Japan Society for the Promotion of Science, 2008 - 2010