- 2024/04 - 現在 日本ソフトウェア科学会プログラミング論研究会 運営委員
- 2023/04 - 現在 情報処理学会論文誌プログラミング 編集委員
- 2023/04 - 現在 情報処理学会プログラミング研究会 幹事
- 2024/03 - 2024/03 日本ソフトウェア科学会第26回プログラミングおよびプログラミング言語ワークショップ プログラム共同委員長
- 2023/08 - 2023/08 計算・言語・論理の研究集会 2023 御宿 世話人
- 2023/03 - 2023/03 日本ソフトウェア科学会第25回プログラミングおよびプログラミング言語ワークショップ プログラム委員
- 2018/04 - 2022/03 並列/分散/協調処理に関するサマー・ワークショップ 実行委員
- 2018/04 - 2022/03 情報処理学会論文誌プログラミング 編集委員
- 2018/04 - 2022/03 情報処理学会プログラミング研究会 運営委員
- 2020/03 - 2020/03 日本ソフトウェア科学会第22回プログラミングおよびプログラミング言語ワークショップ プログラム委員
- 2019/03 - 2019/03 日本ソフトウェア科学会第21回プログラミングおよびプログラミング言語ワークショップ 組織委員
- 2018/03 - 2018/03 日本ソフトウェア科学会第20回プログラミングおよびプログラミング言語ワークショップ 組織委員
- 2017/08 - 2017/08 第34回記号論理学と情報科学 幹事
- 2016/03 - 2016/03 理論計算機科学と圏論ワークショップ2016 幹事
- 2016/03 - 2016/03 日本ソフトウェア科学会第18回プログラミングおよびプログラミング言語ワークショップ プログラム委員
全件表示