教授, 博士(理学)

五十嵐 淳 (いがらし あつし)

English English
Contents:
著書
cover picture
研究
論文リスト・講演スライド
授業
'21冬 プログラミング言語
'21冬 計算と論理
'21冬 システム検証論
'21夏 計算機科学概論
'21夏 プログラム意味論
'20冬 プログラミング言語
'20冬 計算と論理
'20冬 並列分散システム論
'20夏 プログラミング入門
'20夏 計算機科学概論
'20夏 プログラム意味論

連絡先

〒606-8501 京都府京都市左京区吉田本町
京都大学 大学院情報学研究科
通信情報システム専攻 コンピュータ工学講座
コンピュータソフトウェア分野
Phone: 075-753-4953
Fax: 075-753-4954
email: igarashi@kuis.kyoto-u.ac.jp

Upcoming Events

  • PPL2021 (2021/03/09-11; プログラム委員)
  • miniKanren (2021/08; プログラム委員)
  • OOPSLA 2021 (2021/10/17-22; 査読委員)
  • APLAS 2021 (2021; 運営委員会共同委員長)
  • POPL2022 (2022/01; プログラム委員)
  • FLOPS 2022 (2022; プログラム委員長)

Recent Past Events

  • WGT 2020 (2020/01/25; 論文共著者,プログラム委員)
  • PEPM 2020 (2020/01/20-21; 招待講演,運営委員)
  • PPL 2020 (2020/03/02-04; 論文共著者,ポスター発表)
  • COP 2020 (2020/07/; 組織委員)
  • Erlang 2020 (2020/08/23; プログラム委員)
  • ICFP 2020 (2020/08/23-28; 運営委員)
  • ECOOP 2020 (2020/11/15-16; 論文共著者,プログラム委員)
  • OOPSLA 2020 (2020/11/16-21; プログラム委員)
  • APLAS 2020 (2020/11/30-12/2; 運営委員会共同委員長)

自己紹介

  • 京都大学大学院情報学研究科通信情報システム専攻教授・ 同工学部情報学科計算機科学コース兼担. 東京大学理学部情報科学科1995年卒業, 同大学院理学系研究科情報科学専攻修士・博士課程をそれぞれ1997・2000年に修了, 修士・博士(理学)の学位取得. 2000.4 - 2002.3: 東京大学大学院総合文化研究科広域科学専攻広域システム科学系助手. 2002.4 - 2006.3: 京都大学大学院情報学研究科知能情報学専攻講師 2006.4 - 2007.3: 京都大学大学院情報学研究科知能情報学専攻助教授 2007.4 - 2012.9: 京都大学大学院情報学研究科知能情報学専攻准教授
     
  • 主な研究対象はプログラミング言語の基礎理論、現在は、特に、型システム、 並行/分散プログラミング言語、型推論、オブジェクト指向言語の 型理論など。 論文はこちらへ。
     
  • 現在、東京大学情報理工学系研究科コンピュータ科学専攻の小林研とも共同研究を行っている.
     
  • 1998年6月より7月までアメリカ・インディアナ大学、 引き続き2000年3月までペンシルヴァニア大学で、 Benjamin Pierce 教授の元に滞在・研究を行う。
     
  • 趣味: 音楽・(主にクラシック)ギター演奏
     

last update on $Date:: 2021-04-02 17:08:20 +0900#$