
Tsutomu Kobayashi
(小林 努)
Modified on: 06/07
Profile Information
- Affiliation
- Researcher, Research and Development Directorate, Japan Aerospace Exploration Agency (JAXA)
- Degree
-
Ph.D. (Information Science and Technology)(The University of Tokyo)
- J-GLOBAL ID
- 201701018164345367
- researchmap Member ID
- B000273631
Research Interests
7Research Areas
1Major Research History
11-
Apr, 2021 - Mar, 2022
-
Apr, 2019 - Mar, 2021
Research Projects
5-
Grants-in-Aid for Scientific Research Grant-in-Aid for Scientific Research (C), Japan Society for the Promotion of Science, Apr, 2022 - Mar, 2025
-
Grant-in-Aid for Early-Career Scientists, Japan Society for the Promotion of Science, Apr, 2019 - Mar, 2023
-
Research Proposals for the Strategic Basic Research Programs (ACT-I) Acceleration Phase, Japan Science and Technology Agency (JST), Apr, 2019 - Mar, 2021
-
Research Proposals for the Strategic Basic Research Programs (ACT-I), Japan Science and Technology Agency (JST), Oct, 2017 - Mar, 2019
-
Grant-in-Aid for Research Activity Start-up, Japan Society for the Promotion of Science (JSPS), Oct, 2017 - Mar, 2019
Major Awards
3Major Media Coverage
8-
The American Association for the Advancement of Science (AAAS), EurekAlert!, https://www.eurekalert.org/pub_releases/2021-07/rooi-toc070421.php, Jul 7, 2021 Internet
-
The Nikkei, Nikkei web site, https://www.nikkei.com/article/DGXLRSP611082_W1A520C2000000/, May 26, 2021 Newspaper, magazine
Major Papers
14-
The 13th NASA Formal Methods Symposium (NFM 2021), 198-213, May, 2021 Peer-reviewedLead authorCorresponding author
-
Formal Aspects of Computing, 31(3) 287-320, May, 2019 Peer-reviewedLead authorCorresponding author
-
The 20th International Conference on Formal Engineering Methods (ICFEM 2018), 357-372, Nov, 2018 Peer-reviewedLead authorCorresponding author
-
FM 2016: FORMAL METHODS, 9995 444-459, 2016 Peer-reviewedLead authorCorresponding author
Industrial Property Rights
1Books and Other Publications
1Major Presentations
8-
JST ACT-I Public Conference 2021, Mar 13, 2021
-
JST ACT-I Public Conference 2019, Apr 20, 2019
-
Shonan Meeting Towards industrial application of advanced formal methods for cyber-physical system engineering, Nov 7, 2018 Invited
-
The 197th IPSJ SIGSE Conference, Nov 9, 2017 Invited
-
Shonan Meeting on Science and Practice of Engineering Trustworthy Cyber-Physical Systems (TCPS), Oct 29, 2014 Invited
Major Teaching Experience
4-
Oct, 2017 - Present
Major Academic Activities
13-
Planning, management, etc., Peer reviewOct 24, 2022 - Oct 27, 2022
-
Planning, management, etc.Marcello Bersani, Matteo Camilli, Tsutomu Kobayashi, Diego Perez-Palacin, Sep 13, 2021 - Sep 13, 2021
Works
2-
Software
Education
3-
Apr, 2007 - Mar, 2011
Professional Memberships
2Misc.
3-
Journal of the Robotics Society of Japan, 40(3) 203-207, Apr, 2022 Lead author
-
Technical Report, School of Computing Science, University of Newcastle upon Tyne (CS-TR-1525), Dec, 2018
-
コンピュータソフトウェア, 34(3) 75-80, Sep, 2017