研究者
J-GLOBAL ID:200901043210906486   更新日: 2013年01月18日

根岸 和義

ネギシ カズヨシ | Negishi Kazuyoshi
研究分野 (1件): 情報学基礎論
研究キーワード (5件): 計算論理学 ,  検証 ,  通信プロトコル ,  論理 ,  セキュリティ
競争的資金等の研究課題 (2件):
  • 1997 - 2007 通信プロトコルの論理による検証
  • セキュリティの論理検証
MISC (6件):
学歴 (1件):
  • - 2000 東京工業大学 情報理工学研究科 計算工学専攻
学位 (1件):
  • 工学博士 (東京工業大学)
経歴 (1件):
  • 文部科学省 一般
所属学会 (3件):
日本ソフトウェア科学会 ,  電子情報通信学会 ,  情報処理学会
※ J-GLOBALの研究者情報は、researchmapの登録情報に基づき表示しています。 登録・更新については、こちらをご覧ください。

前のページに戻る