Nao Hirokawa (original) (raw)
General Information
Contact
Nao Hirokawa (associate professor)
research group:
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 1-2: I413E: Theoretical Computer Science (2027)
Upcoming Events
- 35th EACSL Annual Conference on Computer Science Logic (CSL), Brighton, UK, 25 – 29 January, 2027.Abstract submission: Wednesday, 8 July 2026 (AoE); Paper submission: Wednesday, 15 July 2026 (AoE)
- 16th International Workshop on Rewriting Logic and its Applications (WRLA), Torino, April 11 – 12, 2026.Paper deadline: January 16, 2026.
- 11th International Conference on Formal Structures for Computation and Deduction (FSCD), Lisbon, Portugal, 20 – 23 July 2026.Abstract deadline: January 23, 2026; paper deadline: January 30, 2026.