Tsutomu Kobayashi
(小林 努)
Modified on: 11/11
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
My main research interest is constructing and analyzing formal models of software systems using interactive theorem proving.
このページの日本語版はこちら (Japanese version of this page)
Research Interests
8Research 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), 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
4Major Media Coverage
9-
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
17-
The 25th International Symposium on Formal Methods (FM 2023), 533-549, Mar 3, 2023 Peer-reviewedLead authorCorresponding author
-
The 13th NASA Formal Methods Symposium (NFM 2021), abs/2108.07509 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
17-
Planning, management, etc., Peer reviewNov 21, 2023 - Nov 24, 2023
-
Planning, management, etc., Peer reviewOct 24, 2022 - Oct 27, 2022
-
Planning, management, etc., Panel moderator, session chair, etc., Peer reviewSilvia Bonfanti, Tsutomu Kobayashi, Diego Perez-Palacin, Sep 20, 2022 - Sep 20, 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.
4-
NII SEEDs 2022, 21-21, Apr, 2022
-
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
There are no coauthors to display.
{{coauthor.Related.name_str}}
{{coauthor.Related.last_modified}} Updated