KUSAKARI Keiichirou

Professor,
Informatics Course,
Department of Electrical, Electronic and Computer Engineering,
Faculty of Engineering,
Gifu University

• Research Interests

  • Program Theory
  • Automatic Theorem Proving
  • Program Verification

• Publications

• Profile

  • 2014.3-: Professor at Department of Electrical, Electronic and Computer Engineering, Faculty of Engineering, Gifu University
  • 2006.4-2014.2: 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