環境調和型セキュア情報システム研究室(本間研究室)の 伊東 燦さん(博士後期課程1年)らの論文が,多値論理フォーラム奨励賞を受賞(2020年1月11日)

環境調和型セキュア情報システム研究室(本間研究室)の 伊東 燦さん(博士後期課程1年)らの論文が,多値論理フォーラム奨励賞を受賞(2020年1月11日)
環境調和型セキュア情報システム研究室(本間研究室)の 伊東 燦さん(博士後期課程1年)らの論文が,多値論理研究会が主催する第42回多値論理フォーラムにおいて,多値論理フォーラム奨励賞を受賞しました.これは,同フォーラムの発表のうち,特に優秀な発表を行った若手研究者らに対して授与されるものです.受賞した研究内容は「ブール多項式のZDD表現を用いたガロア体算術演算回路の形式的検証手法」(著者:伊東 燦,上野 嶺,本間尚文)です.

お問合わせ先

東北大学電気通信研究所
システム・ソフトウェア研究部門
環境調和型セキュア情報システム研究室
(教授)本間尚文
TEL:022-217-5506