Write a Blog >>
Tachio Terauchi

Registered user since Tue 23 Dec 2014

Name: Tachio Terauchi

Bio: I am a Japan born Japanese, educated mostly in America. I have B.S. from Columbia and M.S. and Ph.D. from UC Berkeley, all in computer science. I was an assistant professor at Tohoku University from 2007 to 2011, and an associate professor at Nagoya University from 2011 to 2014. I joined JAIST as a full professor in 2014.

Country: Japan

Affiliation: JAIST

Personal website: http://www.jaist.ac.jp/~terauchi/


VMCAI Committee Member in Program Committee
POPL 2016 ERC member in External Reviewing Committee
ERC member in External Reviewing Committee within the Research Papers-track
Temporal Verification of Higher-order Functional Programs
Show activities from other conferences

POPL 2016-profile
View general profile