山田 晃久
Akihisa Yamada
経歴
2014年 名古屋大学大学院 情報科学研究科 博士後期課程修了。
現在、産業技術総合研究所 サイバーフィジカルセキュリティ研究センター インフラ防護セキュリティ研究チーム 主任研究員。博士(情報科学)。
専門は項書き換え、形式論理。
2014年 名古屋大学大学院 情報科学研究科 博士後期課程修了。
現在、産業技術総合研究所 サイバーフィジカルセキュリティ研究センター インフラ防護セキュリティ研究チーム 主任研究員。博士(情報科学)。
専門は項書き換え、形式論理。