ISHII, Daisuke
Associate Professor
Information Science, Next-Generation Digital Infrastructure
Committee Memberships
8 items
・ 日本ソフトウェア科学会 ディペンダブルシステム研究会 , 運営委員 , 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-
・ Shonan Meeting "Validated Numerics Meets Reachability Analysis for CPS Design" , Co-organizer , 2015-