(Last updated : 2025-03-20 23:50:52)
  Nishizawa Koki
   Kanagawa University  Faculty of Informatics Department of Applied Systems and Mathematics
   Kanagawa University Graduate School  Graduate School of Engineering Course of Engineering (Field of Information Systems Creation)
   Professor
■ Present specialized field
Computer Science, Algebra (Key Word：Category theory, algebraic structure, logic, formal verification) 
■ E-Mail Address
  kyoin_mail
■ Department laboratory expense researcher number
  60455433
Copyright © Kanagawa University. All Rights Reserved.