青木 利晃
（AOKI, Toshiaki）教授
融合科学, 情報科学, 次世代デジタル社会基盤研究領域, ＡＩ・ソフトロボティクス研究拠点
社会貢献活動
4件
・ 27th international symposium on Formal Methods Doctoral Symposium co-chair 2026 - 2026
・ International Conference on Software Testing 2026 Industry Track co-chair 2026 - 2026
・ 14th International Symposium on Theoretical Aspects of Software Engineering , PC chair 2020
・ 14th International Conference on Formal Engineering Methods , Program Co-Chair 2012 - 2012