TOP Page >  Faculty List by Area >  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

  • Cops and CoCoWeb: Infrastructure for Confluence Tools,Nao Hirokawa, Julian Nagele, and Aart Middeldorp,Proceedings of the 9th International Joint Conference on Automated Reasoning, Lecture Notes in Artificial Intelligence,10900,346-353,2018
  • Confluence Competition 2018,Takahito Aoto, Makoto Hamana, Nao Hirokawa, Aart Middeldorp, Julian Nagele, Naoki Nishida, Kiraku Shintani, and Harald Zankl,Proceedings of the 3rd International Conference on Formal Structures for Computation and Deduction, Leibnitz International Proceedings in Informatics,108,32:1-32:5,2018
  • Infinite Runs in Abstract Completion,Nao Hirokawa, Aart Middeldorp, Christian Sternagel, and Sarah Winkler,Proceedings of the 2nd International Conference on Formal Structures for Computation and Deduction, Leibnitz International Proceedings in Informatics 84,84,19:1-19:16,2017

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

  • IFIP Technical Committee 1 (Foundations of Computer Science),national representative,2018-
  • 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

Display All

◇Other Activities

  • 27th International Conference on Automated Deduction (CADE-27),Program Committee,2018/09/11 - 2019/08/30
  • 4th International Conference on Formal Structures of Computation and Deduction,Program Committee,2018/02/04 - 2019/06/30
  • 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

Display All

■Academic Awards Received

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