Nao Hirokawa (associate professor)
- research group:
- Hirokawa Laboratory
- 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
- I-54a (on 5th floor of Information Science Building II)
- hirokawaterm firstname.lastname@example.org
- computational models (term rewriting, automata, complexity analysis)
- automated deduction (automated theorem proving, SAT/SMT solving)
- term 1-1: I211E: Mathematical Logic
- term 2-1: I413E: Theoretical Computer Science
- 59th TRS Meeting, September 27 - 29, 2023, Izumo, Japan.
- 15th International Workshop on Rewriting Logic and its Applications, April 6-7, 2024, Luxembourg City, Luxembourg.
- 14th International School on Rewriting (ISR 2024), August 25 - September 1, 2024, Obergurgl, Austria.