General Information

Contact

Nao Hirokawa (associate professor)

research group:

Hirokawa Laboratory

address:

School of Information Science
Graduate School of Advanced Science and Technology
Japan Advanced Institute of Science and Technology
1-1 Asahidai, Nomi, Ishikawa, 923-1292, Japan

office:

I-54a (on 5th floor of Information Science Building II)

phone:

+81-761-51-1277

email:

hirokawa

term rewriting

@jaist.ac.jp

Research

• computational models (term rewriting, automata, complexity analysis)
• automated deduction (automated theorem proving, SAT/SMT solving)

Teaching

• term 1-1: I211E: Mathematical Logic
• term 2-1: I413E: Theoretical Computer Science

Upcoming Events

• 13th International Workshop on Confluence, July 9, 2024, Tallinn, Estonia.
  Submission deadline: 1st May, 2024.
• 17th Conference on Intelligent Computer Mathematics, August 5-9, 2024, Montréal, Québec, Canada.
  Abstract deadline: April 1, 2024; Paper deadline: April 8, 2024.
• 14th International School on Rewriting (ISR 2024), August 25 - September 1, 2024, Obergurgl, Austria.