石井 大輔

• 2016年 - 現在

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

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

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

  ARITH, PC member 
• 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", オーガナイザ