TOP  >  Personal Info.
HIROKAWA, Nao Associate Professor, Director of Computing Science Research Area
Information Science, Computing Science
◆Degrees
M.E from University of Tsukuba(2003), Dr.rer.nat. from University of Innsbruck(2006) インスブルック大学
◆Professional Experience
2016 - : JAIST , Graduate School of Advanced Science and Technology , Associate Professor
2012 - 2016 : JAIST , School of Information Science , Associate Professor
2008 - 2012 : JAIST , School of Information Science , Assistant Professor
2007 - 2008 : JAIST , postdoc
2003 - 2006 : University of Innsbruck , 情報科学研究科 , 研究助手
◆Specialties
Information theory
◆Research Keywords
自動演繹, unification, complexity analysis, confluence, termination, term rewriting
◆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
Lexicographic Combination of Reduction Pairs
Teppei Saito, Nao Hirokawa
Proceedings of the 30th International Conference on Automated Deduction, Lecture Notes in Artificial Intelligence,, -, 2025
Hydra Battles and AC Termination
Nao Hirokawa, Aart Middeldorp
Logical Methods in Computer Science, 21, 29, 29:1-29:22, 2025
Left-Linear Completion with AC Axioms
Johannes Niederhauser, Nao Hirokawa, Aart Middeldorp
Logical Methods in Computer Science, 21, 2, 10:1-10:44, 2025
Certification of Confluence- and Commutation-Proofs via Parallel Critical Pairs
Nao Hirokawa, Dohan Kim, Kiraku Shintani, René Thiemann
Proceedings of the 13th ACM SIGPLAN International Conference on Certified Programs and Proofs, 147-161, 2024
Compositional Confluence Criteria
Kiraku Shintani, Nao Hirokawa
Logical Methods in Computer Science, 20, 1, 6:1-6:28, 2024
◆Conference Activities & Talks
Seven Confluence Criteria for Solving COPS #20
11th International Workshop on Confluence (IWC 2022), 2022
Completion and Reduction Orders
6th International Conference on Formal Structures for Computation and Deduction (FSCD 2021), 2021
Basic Normalization
IFIP Working Group 1.6 (Term Rewriting), 2014
A Rewriting Solution to the Parsing Problem
IFIP Working Group 1.6 (Term Rewriting), 2012
Runtime Complexity Analysis for Term Rewriting
Two Faces of Complexity 2011, Novi Sad, Serbia, 2011

■Contributions to  Society

◆Academic Contribution
Japanese representative , IFIP Technical Committee 1 (Foundations of Computer Science)
member , IFIP Working Group 1.6 (Rewriting)
program committee member , ソフトウェア科学会 第28回プログラミングおよびプログラミング言語ワークショップ (PPL 2026)
◆Committee Memberships
・ 16th International Workshop on Rewriting Logic and its Applications , program committee member , 2026-
・ 14th International Workshop on Rewriting Logic and its Applications (WRLA) , program committee member , 2022-
・ 28th International Conference on Automated Deduction (CADE-28) , program committee member , 2021-

■Academic  Awards

・ Skolem Award , Nao Hirokawa and Aart Middeldorp , International Conference on Automated Deduction (CADE) , 2025
・ best paper award , Teppei Saito, Nao Hirokawa , 14th International Symposium on Frontiers of Combining Systems (FroCoS) , 2023
・ best paper award , 14th International Conference on Rewriting Techniques and Applications (RTA 2003) , 2003