研究者
J-GLOBAL ID:201601009356363303   更新日: 2024年02月01日

大岩 寛

オオイワ ユタカ | OIWA Yutaka
所属機関・部署:
職名: 研究チーム長
研究分野 (3件): 情報セキュリティ ,  ソフトウェア ,  情報学基礎論
研究キーワード (2件): コンピュータセキュリティ ,  計算機ソフトウェア
競争的資金等の研究課題 (4件):
  • 2019 - 2024 機械学習システムの品質評価指標・測定テストベッドの研究開発
  • 2015 - 2018 安全な協調ロボット制御ソフトウェア開発方法の研究
  • 2012 - 2016 組込みソフトウェアの安全な構築のためのC言語のモデルとその形式検証
  • 2003 - 2004 実行の安全性を保証するC言語コンパイラの実装手法に関する研究
論文 (22件):
もっと見る
MISC (6件):
学歴 (3件):
  • 2001 - 2005 東京大学 大学院情報理工学系研究科 コンピュータ科学専攻
  • 1999 - 2001 東京大学 大学院理学系研究科 情報科学専攻
  • - 1999 東京大学 理学部 情報科学科
学位 (1件):
  • 博士(情報理工学) (東京大学)
受賞 (1件):
  • 2001 - 日本ソフトウェア科学会 高橋奨励賞
所属学会 (3件):
情報処理学会 ,  計算機学会(Association for Computer Machinery, ACM) ,  日本ソフトウェア科学会
※ J-GLOBALの研究者情報は、researchmapの登録情報に基づき表示しています。 登録・更新については、こちらをご覧ください。

前のページに戻る