石井 大輔

• 2016年 - 現在

  日本ソフトウェア科学会 ディペンダブルシステム研究会 運営委員 
• 2015年 - 現在

  日本ソフトウェア科学会 『コンピュータソフトウェア』編集委員 
• 2015年 - 現在

  電子情報通信学会 システム数理と応用研究会 専門委員 
• 2014年 - 2019年

  CyPhy Workshop PC member 
• 2018年

  NSV Workshop PC member 
• 2016年 - 2017年

  IEEE GCCE OS-ACE Co-chair 
• 2016年

  CSD&M PC member 
• 2015年9月

  湘南会議 "Validated Numerics Meets Reachability Analysis for CPS Design" オーガナイザ