トップページ  >  教員個別情報  >  審議会等への参画状況
石井 大輔 (ISHII, Daisuke)准教授
情報科学系, セキュリティ・ネットワーク領域

審議会等への参画状況

8件
・ 日本ソフトウェア科学会 ディペンダブルシステム研究会 , 運営委員 , 2016-
・ 日本ソフトウェア科学会 , 『コンピュータソフトウェア』編集委員 , 2015-
・ 電子情報通信学会 システム数理と応用研究会 , 専門委員 , 2015-
・ CyPhy Workshop , PC member , 2014- 2019
・ NSV Workshop , PC member , 2018-
・ IEEE GCCE OS-ACE , Co-chair , 2016- 2017
・ CSD&M , PC member , 2016-
・ 湘南会議 "Validated Numerics Meets Reachability Analysis for CPS Design" , オーガナイザ , 2015-