2024年4月2日（火）
藤田智哉さんが情報処理学会 第64回IOT188bet体育_188bet备用网址会において学生奨励賞を受賞
2024年3月12日～14日に開催された情報処理学会 第64回インターネットと運用技術188bet体育_188bet备用网址会（IOT188bet体育_188bet备用网址会）において、工学部 電子情報システム工学科 藤田智哉さん（学部4年、岡野?小形188bet体育_188bet备用网址室所属）が学生奨励賞を受賞しました。
学生奨励賞は、学生としてIOT188bet体育_188bet备用网址会に参加し、インターネットと運用技術に関する将来性豊かな発表を行ったことに対して授与されます*1。
受賞した発表は「静的解析によるネットワーク構成モデルの自動検証」となります。
本188bet体育_188bet备用网址は、ネットワーク設計の検証自動化を目的とし、設計仕様としてのネットワーク構成モデルを静的解析するアプローチにより
ネットワーク設計の自動検証ツールを提案し、評価したものとなります。
