小林 努
コバヤシ ツトム (Tsutomu Kobayashi)
更新日: 02/01
基本情報
- 所属
- 宇宙航空研究開発機構 (JAXA) 研究開発部門 研究開発員
- 学位
-
博士(情報理工学)(東京大学)
- J-GLOBAL ID
- 201701018164345367
- researchmap会員ID
- B000273631
ソフトウェアシステムを定理証明手法を用いて形式的にモデリング・検証することを中心に、ソフトウェア工学の研究を行っています。私の2021年までの研究について日本語でまとまっている記事が日本ロボット学会誌に掲載されていますので、ご覧ください。
https://doi.org/10.7210/jrsj.40.203
研究分野
1主要な経歴
11-
2022年6月 - 現在
-
2022年4月 - 現在
-
2017年9月 - 現在
-
2021年4月 - 2022年3月
-
2019年4月 - 2021年3月
共同研究・競争的資金等の研究課題
5-
日本学術振興会 科学研究費助成事業 基盤研究(C) 基盤研究(C) 2022年4月 - 2025年3月
-
日本学術振興会 科学研究費助成事業 若手研究 若手研究 2019年4月 - 2023年3月
-
科学技術振興機構 戦略的創造研究推進事業(ACT-I) 加速フェーズ 2019年4月 - 2021年3月
-
科学技術振興機構 戦略的創造研究推進事業(ACT-I) 2017年10月 - 2019年3月
-
日本学術振興会 科学研究費補助金 研究活動スタート支援 2017年10月 - 2019年3月
主要な受賞
4-
2017年7月
主要なメディア報道
9-
The American Association for the Advancement of Science (AAAS) EurekAlert! https://www.eurekalert.org/pub_releases/2021-07/rooi-toc070421.php 2021年7月7日 インターネットメディア
-
日本経済新聞社 日本経済新聞電子版 https://www.nikkei.com/article/DGXLRSP611082_W1A520C2000000/ 2021年5月26日 新聞・雑誌
主要な論文
16-
The 25th International Symposium on Formal Methods (FM 2023) 533-549 2023年3月3日 査読有り筆頭著者責任著者
-
The 13th NASA Formal Methods Symposium (NFM 2021) abs/2108.07509 198-213 2021年5月 査読有り筆頭著者責任著者
-
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主要な講演・口頭発表等
8-
ACT-I先端研究フォーラム ~「情報と未来」研究者講演会~ - ACT-I 2期生加速フェーズ成果発表会 - 2021年3月13日 国立研究開発法人科学技術振興機構(JST)
-
ACT-I先端研究フォーラム ~「情報と未来」研究者講演会~ 2019年4月20日 国立研究開発法人科学技術振興機構(JST)
-
Shonan Meeting Towards industrial application of advanced formal methods for cyber-physical system engineering 2018年11月7日 招待有り
-
第197回ソフトウェア工学研究発表会 2017年11月9日 招待有り
-
Shonan Meeting on Science and Practice of Engineering Trustworthy Cyber-Physical Systems (TCPS) 2014年10月29日 招待有り
主要な担当経験のある科目(授業)
4-
2019年10月 - 現在
-
2019年5月 - 現在
-
2017年10月 - 現在
-
2017年4月 - 現在
主要な学術貢献活動
17-
企画立案・運営等, 査読2023年11月21日 - 2023年11月24日
-
企画立案・運営等, 査読2022年10月24日 - 2022年10月27日
-
企画立案・運営等, パネル司会・セッションチェア等, 査読Silvia Bonfanti, Tsutomu Kobayashi, Diego Perez-Palacin 2022年9月20日 - 2022年9月20日
Works(作品等)
2-
コンピュータソフト
学歴
3-
2013年4月 - 2017年3月
-
2011年4月 - 2013年3月
-
2007年4月 - 2011年3月
MISC
4-
NII SEEDs 2022 21-21 2022年4月
-
日本ロボット学会誌 40(3) 203-207 2022年4月 筆頭著者
-
Technical Report, School of Computing Science, University of Newcastle upon Tyne (CS-TR-1525) 2018年12月
-
コンピュータソフトウェア 34(3) 75-80 2017年9月