Professor

Koki Nishizawa

Professor
Dr. (Inf. Sc. and Tech.)

Office:20-306

Research Fields
Computer Science, Logic, Algebra

Research Topics
Formal verification of information systems,
Category theoretical analysis of algebraic structures

Research Themes
Abstraction in model checking
Representation theorem of quantales and Stone-type duality