[ English | Japanese ]

General Information

Contact

Nao Hirokawa (associate professor)

research group:
Theory of Computation 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

Teaching

Upcoming Events