石井 大輔
（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-