معرفی
Tachio Terauchi is a Professor in the Department of Computer Science and Engineering at Waseda University, Japan. Previously, he held academic positions at JAIST (Professor, 2014-2017), Nagoya University (Associate Professor, 2011-2014), and Tohoku University (Assistant Professor, 2007-2011). He actively participates in program committees for premier conferences including POPL, PLDI, and SPLASH, with current service for SPLASH 2025 and POPL 2025.
His academic background:
- B.S. in Computer Science, Columbia University (2000)
- M.S. in Computer Science, University of California, Berkeley (2004)
- Ph.D. in Computer Science, University of California, Berkeley (2006)
Terauchi's research centers on techniques for building reliable computational systems through programming languages and formal methods. His core contributions span program verification for higher-order functional programs, security analysis of timing channels and regex vulnerabilities, and refinement type systems. Recent work demonstrates particular expertise in regular expressions with backreferences and temporal logic verification.
His publications from 2020-2025 reveal a dominant focus on regular expression security (ReDoS vulnerabilities and repair methods) and advanced program verification techniques. This work bridges theoretical foundations in automata theory and mathematical logic with practical security applications, showing increasing specialization in regex analysis since 2022 while maintaining contributions to verification frameworks.
Scientific Awards: None explicitly mentioned in the provided text.
He currently advises a substantial cohort of students across all academic levels at Waseda University, with his lab actively recruiting prospective students. The lab, located in room 209B of Building 62W, supports research in programming languages and security verification through regular appointments.
- PhD Students: Tianrui Chen (D2), Taisei Nogami (D1)
- Master's Students: Kazuma Kawahara (M2), Yuta Uchijo (M2), Naoya Anada (M2), Yuki Nakayama (M1), Taisei Iida (M1)
- Bachelor's Students: Riru Oda (B4), Riku Ito (B4), Haruto Ishiyama (B4), Rei Tomori (B3), Rio Onoda (B3)
- Visiting Scholar: Nariyoshi Chida
