研究者
J-GLOBAL ID：200901082357920242   更新日: 2022年09月07日

服部 哲

ハットリ サトシ | Hattori Satoshi
研究分野 (2件)： ソフトウェア ,  情報学基礎論
研究キーワード (4件)： ソフトウェア工学 ,  形式的仕様記述・検証法 ,  Formal Method ,  Software Engineering
競争的資金等の研究課題 (2件)：
  • 形式的仕様記述・検証法,ソフトウェア工学
  • Study on Specification and Verification of Real-Time Systems
MISC (13件)：
もっと見る
学歴 (5件)：
  • - 1999 大阪大学 基礎工学研究科 物理系専攻情報工学分野
  • - 1999 大阪大学
  • - 1994 大阪大学 基礎工学研究科 物理系専攻
  • - 1992 大阪大学 基礎工学部 情報工学科
  • - 1992 大阪大学
学位 (3件)：
  • 修士(工学) (大阪大学)
  • 博士(工学) (大阪大学)
  • 学士(工学) (大阪大学)
経歴 (2件)：
  • 東京工業大学 大学院情報理工学研究科 情報環境学専攻
  • 旧所属 東京工業大学 大学院情報理工学研究科 計算工学専攻 先導的ITスペシャリスト育成推進プログラム特任講師
所属学会 (3件)：
日本ソフトウェア科学会 ,  情報処理学会 ,  電子情報通信学会
※　J-GLOBALの研究者情報は、researchmapの登録情報に基づき表示しています。 登録・更新については、こちらをご覧ください。

前のページに戻る

TOP

BOTTOM