勝股 審也

English Page 研究業績一覧 科研費研究者ページ: 30378963 orcid: 0000-0001-7529-5489 scopus (h-index) research map

研究分野

理論計算機科学の研究をしています。

最近の論文

外部・競争的資金の獲得状況

受賞

プログラミング及びプログラミング言語ワークショップ 2015 発表賞 (一般の部)

学会活動

国際会議 General Chair: FLOPS 2024
国際会議プログラム委員: CSL 2024, CALCO 2023, ICFP 2023, LICS 2023, CSL 2023, TFP 2022, LICS 2022, FoSSaCS 2022, POPL 2022, FLOPS 2020, MFPS 2019, MFPS 2018, ICFP 2017, ICALP 2015, MFPS 2014, APLAS 2013, ICFP 2013, FLOPS 2010
国際会議現地組織共同委員長: ICFP 2016 (with Susumu Nishimura)
国際ワークショップ幹事:
国際ワークショッププログラム委員: HOPE 2023, SRC ICFP 2022, RTPTE 2022, MSFP 2022, CMCS 2020, MSFP 2018, TyDe 2018, HOPE 2018, ML Family Workshop 2017, CMCS 2016
国際スクール幹事: Shonan school “Semantics of effects, resources, and applications” (with Marco Gaboardi)
国内ワークショップ幹事: CSCAT 2018, PPL 2013 (with Katsuhiko Gondow), CSCAT 2010
国内ワークショッププログラム委員: PPL 2022, PPL 2010, PPL 2008, PPL 2007
国内学会運営委員: ソフトウェア科学会プログラミング論研究会 2013-2016

連絡先

勝股 審也
国立情報学研究所 特任教授
100-0003 東京都千代田区一ツ橋2-1-2 国立情報学研究所