研究者
J-GLOBAL ID:200901090266052267   更新日: 2020年09月01日

勝股 審也

カツマタ シンヤ | Katsumata Shin'ya
所属機関・部署:
職名: 特任研究員
研究分野 (1件): 情報学基礎論
研究キーワード (2件): 理論計算機科学 ,  theoretical computer science
競争的資金等の研究課題 (6件):
  • 2018 - 2021 確率的グラフィカルモデルの形式検証とその人工知能への応用
  • 2015 - 2020 エフェクトシステムの表示的意味論にまつわる数学的構造
  • 2013 - 2016 Haskellコアの意味論-先端的ソフトウェア検証基盤へ向けて
  • 2012 - 2015 TT-liftingによる計算効果の分析
  • 2008 - 2010 高階相互作用の幾何とプログラム意味論
全件表示
論文 (29件):
MISC (1件):
  • Jérémy Dubut, Ichiro Hasuo, Shin-ya Katsumata, David Sprunger. Quantitative bisimulations using coreflections and open morphisms. 2018
学歴 (5件):
  • - 2005 The University of Edinburgh 情報学
  • - 2005 The University of Edinburgh Informatics
  • - 2000 京都大学 数学数理解析系数理解析専攻
  • - 2000 京都大学
  • - 1998 京都大学 電気電子工学科
学位 (2件):
  • 哲学博士(Doctor of Philosophy) (エジンバラ大学(The University of Edinburgh))
  • 修士(理) (京都大学)
経歴 (3件):
  • 2017/04 - 現在 国立情報学研究所 アーキテクチャ科学研究系 特任研究員
  • 2006/04 - 2017/03 京都大学 数理解析研究所 助教
  • 2004/04 - 2006/03 京都大学 数理解析研究所 助手
所属学会 (1件):
日本ソフトウェア科学会
※ J-GLOBALの研究者情報は、researchmapの登録情報に基づき表示しています。 登録・更新については、こちらをご覧ください。

前のページに戻る