TOP Page >  Profile

情報研究棟IS Building I 5F
To Lab's Site


Full text / JAIST Repository



Nao Hirokawa Associate Professor
School of Information Science、Intelligent Robotics Area


M.E from University of Tsukuba(2003), Dr.rer.nat. from University of Innsbruck(2006)

■Professional Career

Reseacher of JAIST(2007)


term rewriting

■Research Keywords

term rewriting, termination, confluence, and complexity analysis

■Research Interests

Rewriting Techniques for Non-orthogonal Systems
This research project is aimed at developing rewriting techniques for non-terminating and non-orthogonal systems, which are of fundamental importance in declarative programming and theorem proving.


◇Published Papers

  • CoLL: A Confluence Tool for Left-Linear Term Rewrite Systems,Kiraku Shintani and Nao Hirokawa,Proceedings of the 25th International Conference on Automated Deduction,2015
  • Confluence Competition 2015,Takahito Aoto, Nao Hirokawa, Julian Nagele, Naoki Nishida, and Harald Zankl,Proceedings of the 25th International Conference on Automated Deduction, Lecture Notes in Artificial Intelligence 9195, 2015,pp.101-104
  • AC-KBO Revisited,Akihisa Yamada, Sarah Winkler, Nao Hirokawa, and Aart Middeldorp,Theory and Practice of Logic Programming to appear,2015

Display All

◇Lectures and Presentations

  • Automated Normalization Analysis for Term Rewriting,Nao Hirokawa,Logic, Complexity and Automation (LC&A),Obergurgl, Austria,September 5-7, 2016
  • Basic Normalization,Nao Hirokawa,IFIP Working Group 1.6 (Term Rewriting),2014/07/13
  • Runtime Complexity Analysis for Term Rewriting,Nao Hirokawa,Two Faces of Complexity 2011,Novi Sad, Serbia,May 29, 2011

Display All

■Extramural Activities

◇Academic Society Affiliations

  • International Workshop on Logic and Computational Complexity (LCC),Steering Committee Member,2015-2017
  • International Conference on Formal Structures for Computation and Deduction (FSCD),Steering Committee Member,2015-2016
  • International Conference on Rewriting Techniques and Applications (RTA),Steering Committee Member,2014-2015

Display All

◇Other Activities

  • 8th Conference on Interactive Theorem Proving (ITP),Program Committee Member,2016/10/15 - 2017/09/29
  • 8th Workshop on Developments in Implicit Computational complExity and 5th Workshop on Foundational and Practical Aspects of Resource Analysis,Program Committee Member,2016/12/20 - 2017/12/23
  • 5th Confluence Competition (CoCo 2016),Organizing Committee Member,2015/08/03 - 2016/09/30

Display All

■Academic Awards Received

  • best paper award,the 14th International Conference on Rewriting Techniques and Applications,2003