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

Contributions

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