Profile Information

Affiliation
Waseda University Department of Computer Science and Engineering Professor
Degree
Ph.D.(University of California, Berkeley)
M.S.(University of California, Berkeley)
B.S.(Columbia University)

Researcher number
70447150
J-GLOBAL ID
200901015211509541

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.

Papers

  34

Presentations

  25

Professional Memberships

  2

Research Projects

  12