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