[Japanese Version]

Tachio Terauchi


Department of Computer Science and Engineering, Waseda University
terauchi AT waseda DOT jp
[Researchmap.jp, Waseda University Researchers Database]


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.


Information for Prospective Students

Professional Activities

Show more
Show less


Past Students

Publications [Google Scholar, Semantic Scholar, DBLP]