Rchr
J-GLOBAL ID：200901024724061880   Update date: Sep. 09, 2022

Seiji Umatani

Seiji Umatani
Affiliation and department：
Kanagawa University Faculty of Science Department of Information Sciences

About Kanagawa University Faculty of Science Department of Information Sciences


Job title： Associate Professor
Research field  (1)： Software
Research keywords  (4)： Language Processors ,  Programming Language ,  言語処理系 ,  プログラミング言語
Research theme for competitive and other funds  (7)：
  • 2017 - 2021 現代的なプログラミング言語のための漸進的型システムの理論
  • 2016 - 2019 柔軟かつ利便性の高いアクセス制御機能を備えたプログラミング言語
  • 2013 - 2017 ソフトウェア契約に基づく高階型付プログラムの理論
  • 2012 - 2015 アンビエント計算に基づく実用的かつ信頼性の高い分散プログラム開発環境
  • 2009 - 2012 高級な通信・移動機能を備えた実用的アンビエント計算言語
Show all
Papers (18)：
ｍore...
Lectures and oral presentations  (68)：
  • 汎用送受信に対応したHOPEコンパイラの研究
    (2019年並列/分散/協調処理に関する『北見』サマー・ワークショップ (SWoPP2019) 2019)
  • ワーカの重要度を考慮した並列実行フレームワークの障害耐性評価手法の検討
    (2019年並列/分散/協調処理に関する『北見』サマー・ワークショップ (SWoPP2019) 2019)
  • JVM上の動的言語のための抽象解釈の実装
    (第60回プログラミング・シンポジウム 2019)
  • HOPE: A Parallel Execution Model Based on Hierarchical Omission
    (48th International Conference on Parallel Processing (ICPP 2019) 2019)
  • 並列分散フレームワークの耐障害性評価のための通信障害模擬機能
    (第20回プログラミングおよびプログラミング言語ワークショップ(PPL2018) 2018)
ｍore...
Work history (4)：
  • 2007/04 - 2019/03 Assistant Professor
  • 2010/04 - 2013/03 Lecturer
  • 2005/03 - 2007/03 Research Assistant
  • 2004/04 - 2005/02 Researcher
Committee career (20)：
  • 2019 - 現在 日本ソフトウェア科学会 理事
  • 2017 - 現在 日本学術振興会 科学研究費委員会 審査委員
  • 2017 - 現在 日本ソフトウェア科学会 代表会員
  • 2016 - 現在 情報処理学会 プログラミング研究会編集委員
  • 2015 - 現在 情報処理学会 プログラミング・シンポジウム幹事
Show all
Awards (2)：
  • 2017/12 - 日本ソフトウェア科学会 日本ソフトウェア科学会 第15回ディペンダブルシステムワークショップ(DSW2017)最優秀発表賞
  • 2015/01 - 情報処理学会 情報処理学会 山内奨励賞
Association Membership(s) (3)：
日本ソフトウェア科学会 ,  情報処理学会 ,  Association for Computing Machinery
※ Researcher’s information displayed in J-GLOBAL is based on the information registered in researchmap. For details, see here.

Return to Previous Page

TOP

BOTTOM