

Shuji Kinoshita
(木下 修司)
Modified on: 07/06
Profile Information
- Degree
-
D.Sc.(Mar, 2018, Kanagawa University)
- Researcher number
- 50843108
- J-GLOBAL ID
- 201601012076829553
- researchmap Member ID
- B000265875
- External link
1983年生まれ、奈良県出身。幼少期はプログラミングに、青年期は文学に熱中する。大学ではインド哲学を専攻。縁あってSEとなり5年ほど働くも、一念発起して退職、情報科学の大学院生として5年ほど過ごす。2017年4月より、フリーのITコンサル&大学研究者の二刀流。研究成果を実務に生かす国際標準化活動にも参画。研究・開発を通じたテーマは「システムの見える化」。理論のわかる実務家、現場のわかる研究者を目指しています。
Research Interests
16Research Areas
3Major Research History
12-
Dec, 2019 - Present
-
Aug, 2016 - Dec, 2018
-
Apr, 2007 - May, 2012
Education
5-
Apr, 2014 - Mar, 2017
-
Apr, 2012 - Mar, 2014
-
Apr, 2002 - Mar, 2005
-
Apr, 1999 - Mar, 2002
Major Committee Memberships
15-
Jun, 2021 - Present
-
Oct, 2020 - Present
-
Oct, 2020 - Present
-
Jun, 2019 - Present
-
May, 2018 - Dec, 2022
-
Jun, 2020 - Apr, 2021
Awards
5-
Nov, 2017
Major Papers
8-
7th International Workshop on Assurance Cases for Software-intensive Systems (ASSURE 2019), Turku (Finland), Sep, 2019 Peer-reviewed
-
IPA SEC journal, 13(2) 44-51, Sep, 2017 Peer-reviewed
-
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 10489 17-26, 2017 Peer-reviewed
-
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 9923 63-74, 2016 Peer-reviewed
Presentations
23-
情報処理学会 第85回全国大会, Mar 2, 2023
-
情報処理学会/ソフトウェア工学研究会 ウィンターワークショップ2023・イン・富山, Jan 20, 2023
-
日本ソフトウェア科学会 第20回ディペンダブルシステムワークショップ (DSW 2022), Dec 16, 2022
-
日本ソフトウェア科学会第39回大会, Sep 2, 2022
-
日本ソフトウェア科学会 第18回ディペンダブルシステムワークショップ(DSW 2020), Mar 19, 2021
-
日本ソフトウェア科学会 第3回機械学習工学ワークショップ (MLSE夏合宿2020), Jul 4, 2020
-
Higher Industrial Human Resource Development in IT Area in Uzbekistan, Feb 25, 2020 Invited
-
情報処理学会 ソフトウェア工学研究会 ウィンターワークショップ2020・イン・京都, 京都府京都市, Jan 24, 2020
-
日本ソフトウェア科学会 第17回ディペンダブルシステムワークショップ(DSW 2019),東京都墨田区, Dec 5, 2019
-
日本ソフトウェア科学会第36回大会,東京都港区, Aug 27, 2019
-
日本ソフトウェア科学会 第16回ディペンダブルシステムワークショップ(DSW 2018)、石川県金沢市, Dec 13, 2018
-
情報処理学会 ソフトウェア工学研究会 ウィンターワークショップ2017・イン・飛騨高山、岐阜県高山市, Jan 19, 2017
-
日本ソフトウェア科学会 第14回ディペンダブルシステムワークショップ(DSW 2016)、北海道函館市, Dec 16, 2016
-
12th Theorem Proving and Provers (TPP 2016)、 東京都文京区, Nov 14, 2016
-
日本災害情報学会第18回学会大会、東京都世田谷区, Oct 22, 2016
-
ディペンダビリティ技術推進協会標準化部会 第5回システムアシュランス研究会、神奈川県横浜市, Mar 16, 2016 Invited
-
日本ソフトウェア科学会 第13回ディペンダブルシステムワークショップ(DSW 2015)、静岡県熱海市, Dec 17, 2015
-
2nd International Workshop on Argument for Agreement and Assurance (AAA 2015), Yokohama (Japan), Nov 17, 2015
-
3rd International Workshop on Assurance Cases for Software-intensive Systems (ASSURE 2015), Delft (Netherland), Sep 22, 2015
-
日本ソフトウェア科学会 第17回プログラミングおよびプログラミング言語ワークショップ(PPL 2015)、愛媛県松山市, Mar 4, 2015
Professional Memberships
3-
Mar, 2015 - Present
-
Apr, 2014 - Present
-
Apr, 2014 - Present
Major Books and Other Publications
7-
JAPANESE STANDARDS ASSOCIATION, Sep, 2020
Teaching Experience
2-
May, 2020 - Jul, 2020
-
Sep, 2019 - Jan, 2020
Major Research Projects
4-
Business proposals from university researchers, Tokyo Metropolitan Government, Apr, 2022 - Mar, 2025
Social Activities
1