TOP Page >  Profile

Lab
情報研究棟IS Building I 5F
TEL:+81-761-51-1277
To Lab's Site
 

English

Full text / JAIST Repository

 

 

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

■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 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.

■Publications

◇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

  • 1st Formal Structures for Computation and Deduction (FSCD 2016),Program Committee Member,2015/08/13 - 2016/06/26
  • 5th International Workshop on Confluence (IWC 2016),Program Committee Member,2016/05/11 - 2016/09/09
  • 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