指導教授

西澤弘毅

NISHIZAWA, Koki

准教授 博士(情報理工学)

教授室:6号館-418
研究室:6号館-306,401

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

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

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