奥野 康二
オクノ コウジ (KOJI OKUNO)
更新日: 2024/02/16
基本情報
- 所属
- 東京都立産業技術大学院大学 先端ソフトウェア工学研究所 研究員
- J-GLOBAL ID
- 202301009585882459
- researchmap会員ID
- R000060703
産業界で小型コンピューターの開発等に従事した後、研究機関に所属して産業界との橋渡し。テーマは、形式手法、ディペンダビリティ。
経歴
3-
2024年1月 - 現在
-
2014年6月 - 2018年3月
-
2006年11月 - 2014年3月
学歴
1-
1966年4月 - 1970年6月
論文
2-
SEC Journal 13(2) 2017年 査読有り
-
Science Journal of Kanagawa University 28(1) 2017年
所属学協会
1-
2014年7月 - 2016年3月
共同研究・競争的資金等の研究課題
1-
平塚市と神奈川大学の共同研究 2014年 - 2016年