小林 努
コバヤシ ツトム (Tsutomu Kobayashi)
更新日: 10/02
基本情報
研究分野
1主要な経歴
7-
2019年4月 - 現在
-
2019年4月 - 現在
-
2017年9月 - 現在
-
2017年4月 - 現在
共同研究・競争的資金等の研究課題
4-
日本学術振興会 科学研究費助成事業 若手研究
-
科学技術振興機構 戦略的創造研究推進事業(ACT-I) 加速フェーズ
-
科学技術振興機構 戦略的創造研究推進事業(ACT-I)
-
日本学術振興会 科学研究費補助金 研究活動スタート支援
受賞
2主要な論文
11-
Formal Aspects of Computing 31(3) 287 - 320 2019年5月 査読有り
-
The 20th International Conference on Formal Engineering Methods (ICFEM 2018) 357 - 372 2018年11月 査読有り
-
FM 2016: FORMAL METHODS 9995 444 - 459 2016年 査読有り
書籍等出版物
1講演・口頭発表等
7-
ACT-I先端研究フォーラム ～「情報と未来」研究者講演会～ 2019年4月20日
-
Shonan Meeting Towards industrial application of advanced formal methods for cyber-physical system engineering 2018年11月7日 招待有り
-
Rodin Workshop 2018 at ABZ 2018 2018年6月5日
-
第197回ソフトウェア工学研究発表会 2017年11月9日 招待有り
-
The 6th Rodin User and Developer Workshop at ABZ 2016 2016年5月23日
担当経験のある科目(授業)
7学歴
3-
2013年4月 - 2017年3月
-
2011年4月 - 2013年3月
-
2007年4月 - 2011年3月
所属学協会
2MISC
2-
Technical Report, School of Computing Science, University of Newcastle upon Tyne (CS-TR-1525) 2018年12月
-
コンピュータソフトウェア 34(3) 75 - 80 2017年9月