指導教授

西澤弘毅

NISHIZAWA, Koki

教授　博士(情報理工学）

教授室：20号館-306

研究分野
計算機科学、論理学、代数学

研究内容
情報システムの形式的検証、代数系の圏論的分析

研究テーマ
・ストーン型双対性
・べき等左半環やクオンテールの表現定理
・多重関係