Tachio Terauchi
Professor
School of Information Scienceã€Intelligent Robotics Area
Japan Advanced Institute of Science And Technology
Japan
Biography
â– Degrees B.S. from Columbia University (2000), M.S. from University of California at Berkeley (2004), Ph.D from University of California at Berkeley (2006) â– Professional Career Assistant Professor at Tohoku University (2007), Associate Professor at Nagoya University (2011), Professor at Japan Advanced Institute of Science and Technology (2014) â– Specialties Program Analysis and Program Verification
Research Interest
Programming Languages, Type Systems, Software Model Checking, Automated Deduction, Computer Security
