Haruhiko Sato
Profile
Assistant Professor
Research interests: Term rewriting systems, Formal verification, Programming languages
e-mail: haru __AT__ complex.ist.hokudai.ac.jp
Address
Room 8-03
Division of Computer Science and Information Technology
Graduate School of Information Science and Technology
Hokkaido University
Kita-14 Nishi-9, Kita-ku, Sapporo, Hokkaido, 060-0814, Japan
Publication