Nao Hirokawa
Associate Professor
School of Information Scienceã€Intelligent Robotics Area
Japan Advanced Institute of Science And Technology
Japan
Biography
â– Degrees M.E from University of Tsukuba(2003), Dr.rer.nat. from University of Innsbruck(2006) â– Professional Career Reseacher of JAIST(2007) â– Specialties term rewriting
Research Interest
term rewriting, termination, confluence, and complexity analysis
