中澤 巧爾(なかざわ こうじ)

[English]

博士(理学)
名古屋大学 大学院情報学研究科 情報システム学専攻 ソフトウェア論講座 結縁・中澤研究室 准教授
情報学部 コンピュータ科学科 兼務

アクセス

〒464-8601 名古屋市千種区不老町 名古屋大学 IB電子情報館南棟 561

[名古屋大学東山キャンパスマップ] 「C3(1)」の建物.地下鉄名古屋大学駅3番出口すぐです.

E-mail: knak@is.nagoya-u.ac.jp

研究

興味のあること:理論計算機科学(プログラミング言語理論,型理論,ラムダ計算)と数理論理学

[論文リスト]

教育

過去に担当した講義・演習

いろいろ

終了したイベント

リンク