Hirokawa Nao

Affiliation and department：

Research field (1)： Information theory

Research keywords (5)：自動演繹 , complexity analysis , confluence , termination , term rewriting

Research theme for competitive and other funds (6)：

2022 - 2026 Automated Deduction and Reduction Orders
2017 - 2021 Normalization Analysis for Term Rewriting
2013 - 2016 Confluence Analysis for Term Rewriting and Its Applications
2011 - 2015 Optimization of polynomial constraint solving based on fusion of approximation and algebraix methods
2010 - 2012 Rewriting Techniques for Non-Deterministic Computation

Show all

Papers (36)：

Teppei Saito, Nao Hirokawa. Weighted Path Orders are Semantic Path Orders. Proceedings of the 14th International Symposium on Frontiers of Combining Systems, LNCS. 2023. 14279
Johannes Niederhauser, Nao Hirokawa, Aart Middeldorp. Left-Linear Completion with AC Axioms. 2023. 14132. 401-418
Nao Hirokawa, Aart Middeldorp. Hydra Battles and AC Termination. Proceedings of the 8th International Conference on Formal Structures of Computation and Deduction, Leibniz International Proceedings in Informatics. 2023. 260. 12:1-12:16
Kiraku Shintani, Nao Hirokawa. Compositional Confluence Criteria. Proceedings of the 7th International Conference on Formal Structures for Computation and Deduction, Leibniz International Proceedings in Informatics. 2022. 228. 28:1-28:19
Nao Hirokawa. Completion and Reduction Orders. 6th International Conference on Formal Structures for Computation and Deduction (FSCD), Leibniz International Proceedings in Informatics. 2021. 195. 2:1-2:9

ｍore...

Lectures and oral presentations (7)：

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
(2012)
Runtime Complexity Analysis for Term Rewriting
(Two Faces of Complexity 2011 2011)

ｍore...

Education (2)：

2004 - 2006 University of Innsbruck Doctor Program of Faculty of Mathematics, Information Science and Physics
2001 - 2003 University of Tsukuba Master’s Program in Science and Engineering

Professional career (1)：

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

Work history (5)：

2016/04 - 現在 JAIST Graduate School of Advanced Science and Technology Associate Professor
2012/03 - 2016/03 JAIST School of Information Science Associate Professor
2008/08 - 2012/02 JAIST School of Information Science Assistant Professor
2007/08 - 2008/07 JAIST postdoc
2003/09 - 2006/08 University of Innsbruck

Committee career (36)：

2017 - 現在 IFIP Technical Committee 1 (Foundations of Computer Science) Japanese representative
2014 - 現在 IFIP Working Group 1.6 (Rewriting) member
2023 - 24th International Conference on Logic for Programming, Artificial Intelligence and Reasoning program committee member
2023 - 29th International Conference on Automated Deduction (CADE) program committee member
2023 - 8th International Conference on Formal Structures of Computation and Deduction (FSCD) program committee member

2022 - 14th International Workshop on Rewriting Logic and its Applications (WRLA) program committee member

2021 - 28th International Conference on Automated Deduction (CADE-28) program committee member

2021 - ソフトウェア科学会第22回プログラミングおよびプログラミング言語ワークショップ (PPL 2021) program committee member

2013 - 2020 International Workshop on Confluence (IWC) steering committee member

2020 - 15th International Symposium on Functional and Logic Programming (FLOPS 2020) program committee member

2020 - 13th International Workshop on Rewriting Logic and its Applications (WRLA 2020) program committee member

2020 - 5th International Conference on Formal Structures of Computation and Deduction (FSCD 2020) program committee member

2020 - ソフトウェア科学会第22回プログラミングおよびプログラミング言語ワークショップ (PPL 2020) program committee member

2020 - 23rd International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR-23) program committee member

2019 - 4th International Conference on Formal Structures of Computation and Deduction (FSCD 2019) program committee member

2019 - 27th International Conference on Automated Deduction (CADE-27) program committee member

2015 - 2017 Logic and Computational Complexity (LCC) steering committee member

2012 - 2017 Confluence Competition (CoCo) steering committee member

2017 - 8th Workshop on Developments in Implicit Computational complExity and 5th Workshop on Foundational and Practical Aspects of Resource Analysis (DICE-FORARA 2017) program committee member

2017 - 8th International Conference on Interactive Theorem Proving (ITP 2017) program committee member

2015 - 2016 International Conference on Formal Structures for Computation and Deduction (FSCD) steering committee member

2016 - 1st International Conference on Formal Structures of Computation and Deduction (FSCD 2016) program committee member

2016 - 5th International Workshop on Confluence (IWC 2016) program committee member

2014 - 2015 International Conference on Rewriting Techniques and Applications (RTA) steering committee member

2015 - 25th International Conference on Automated Deduction (CADE-25) program committee member

2015 - Workshop on Partial Evaluation and Program Manipulation (PEPM 2015) program committee member

2014 - 6th International Symposium on Symbolic Computation in Software Science (SCSS 2014) program committee member

2014 - 19th International Conferences on Logic for Programming, Artificial Intelligence and Reasoning (LPAR-19) program committee member

2014 - ソフトウェア科学会第16回プログラミングおよびプログラミング言語ワークショップ (PPL 2014) program committee member

2013 - 24th International Conference on Rewriting Techniques and Applications (RTA 2013) program committee member

2013 - 2nd International Workshop on Confluence (IWC 2013) co-chair

2013 - 9th International Workshop on Developments in Computational Models (DCM 2013) program committee member

2012 - 12th International Workshop on Termination (WST 2012) program committee member

2012 - 3rd International Workshop on Developments in Implicit Complexity (DICE 2012) program committee member

2012 - 2st International Workshop on Confluence (IWC 2012) co-chair

2012 - 23rd International Conference on Rewriting Techniques and Applications (RTA 2012) program committee member

Show all

Awards (1)：

2003 - 14th International Conference on Rewriting Techniques and Applications (RTA 2003) best paper award

※ Researcher’s information displayed in J-GLOBAL is based on the information registered in researchmap. For details, see here.

Return to Previous Page