KUSAKARI Keiichirou

Associate Professor,
Graduate School of Information Science,
Nagoya University

• Research Interests

  • Term Rewriting System (TRS)
  • Automatic Theorem Proving
  • Lambda Calculus
  • Functional Programming Languages

• Publications

• Profile

  • 2006.4-: Associate Professor at Graduate School of Information Science, Nagoya University
  • 2003.4-2006.3: Assistant Professor at Graduate School of Information Science, Nagoya University
  • 2000.4-2003.3: Research Associate at Research Institute of Electrical Communication, Tohoku University
  • 2000.3: Ph.D. (Information Science) from School of Information Science in JAIST
  • 1996.3: Master of Science degree from School of Information Science in JAIST
  • 1994.3: Bachelor of Science degree from Department of Life Science, Faculty of Science, Tokyo Institute of Technology