Tachio Terauchi
(寺内 多智弘)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 verification and synthesis, mathematical logic and automated deduction, formal languages and automata theory, security, and type systems.
Research Interests
9Research Areas
3Research History
4-
Oct, 2017 - Present
-
Apr, 2011 - Mar, 2014
-
Jan, 2007 - Mar, 2011
Education
2Committee Memberships
78-
Apr, 2018 - Mar, 2022
Awards
9-
May, 2009
Papers
44-
Proceedings of the ACM on Programming Languages, 8(POPL) 115-147, Jan, 2024 Peer-reviewed
-
In Proceedings of the 48th International Symposium on Mathematical Foundations of Computer Science (MFCS 2023), Leibniz International Proceedings in Informatics (LIPIcs) 272, pp.71:1-71:15, Schloss Dagstuhl Leibniz-Zentrum für Informatik, Aug, 2023 Peer-reviewed
-
JSSST Computer Software, 40(2) 2_19-2_48, Jun, 2023 Peer-reviewedInvited
-
Proceedings of the ACM on Programming Languages, 7(PLDI) 1633-1656, Jun, 2023 Peer-reviewed
-
IEICE Transactions on Information and Systems, E106.D(5) 959-975, May, 2023 Peer-reviewed
-
Proceedings of the ACM on Programming Languages, 7(POPL) 2111-2140, Jan, 2023 Peer-reviewed
-
In Proceedings of the 7th International Conference on Formal Structures for Computation and Deduction (FSCD 2022), Leibniz International Proceedings in Informatics (LIPIcs) 228, pp.15:1-15:18, Schloss Dagstuhl Leibniz-Zentrum für Informatik, Aug, 2022 Peer-reviewed
-
In Proceedings of the 43rd IEEE Symposium on Security and Privacy (S&P 2022), pp.2060-2077, IEEE Computer Society, May, 2022 Peer-reviewed
-
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
-
JSSST 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
-
Proceedings of the ACM on Programming Languages, 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
Presentations
46-
NII Shonan Meeting Seminar 159: Web Application Security, Mar, 2024 Invited
-
JSSST The 26th Programming and Programming Language Workshop (PPL 2024), Mar, 2024
-
JSSST The 26th Programming and Programming Language Workshop (PPL 2024), Mar, 2024
-
JSSST The 26th Programming and Programming Language Workshop (PPL 2024), Mar, 2024
-
JSSST The 26th Programming and Programming Language Workshop (PPL 2024), Mar, 2024
-
Technology Challenges in Non-Traditional Security, Oct, 2023 Invited
-
Vietnam-Japan Autumn School on Cyber Security, Oct, 2023 Invited
-
NII Shonan Meeting Seminar 180:The Art of SAT, Oct, 2023
-
NII Shonan Meeting Seminar 203:Effect Handlers and General-Purpose Languages, Oct, 2023 Invited
-
The 22nd Forum on Information Technology (FIT2023), Sep, 2023 Invited
-
JSSST The 25th Programming and Programming Language Workshop (PPL 2023), Mar, 2023
-
JSSST The 25th Programming and Programming Language Workshop (PPL 2023), Mar, 2023
-
JSSST The 25th Programming and Programming Language Workshop (PPL 2023), Mar, 2023
-
JSSST The 25th Programming and Programming Language Workshop (PPL 2023), Mar, 2023
-
JSSST The 25th Programming and Programming Language Workshop (PPL 2023), Mar, 2023
-
JSSST The 25th Programming and Programming Language Workshop (PPL 2023), Mar, 2023
-
Workshop on Cryptography and Information Security 2022, Sep, 2022 Invited
-
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
Professional Memberships
3Research Projects
14-
Grants-in-Aid for Scientific Research Grant-in-Aid for Scientific Research (B), Grant-in-Aid for Scientific Research (B), Japan Society for the Promotion of Science, Apr, 2022 - Mar, 2027
-
Grants-in-Aid for Scientific Research Challenging Research (Pioneering), 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), 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), 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), 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), 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), 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), 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), 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), Grant-in-Aid for Young Scientists (B), Japan Society for the Promotion of Science, 2008 - 2010