Shuji Kinoshita

J-GLOBAL         Last updated: Oct 19, 2019 at 09:53
 
Avatar
Name
Shuji Kinoshita
E-mail
shujiprogsci.info.kanagawa-u.ac.jp
URL
http://www.kino3.jp
Affiliation
Kanagawa University
Section
Research Institute for Programming Science
Degree
D.Sc.(Kanagawa University)
Research funding number
50843108

Research Areas

 
 

Academic & Professional Experience

 
Jul 2018
 - 
Today
CEO, Kinoshitaya Inc.
 
Apr 2017
 - 
Today
Project Researcher, Research Institute for Programming Science, Kanagawa University
 
Aug 2016
 - 
Dec 2018
Kinoshitaya (Freelance system consultant)
 
Jun 2014
 - 
Mar 2017
Research Assistant, Research Institute for Programming Science, Kanagawa University
 
Apr 2014
 - 
Mar 2017
Teaching Assistant, Graduate School of Science, Kanagawa University
 

Education

 
Apr 2014
 - 
Mar 2017
Department of Information Sciences, Graduate School of Science, Kanagawa University
 
Apr 2012
 - 
Mar 2014
Graduate School of Information Science, Nara Institute of Science and Technology
 
Apr 2005
 - 
Mar 2007
Department of Indian Philosophy and Buddhist Studies, Faculty of Letters, The University of Tokyo
 
Apr 2002
 - 
Mar 2005
Human Sciences III, College of Arts and Sciences, The University of Tokyo
 
Apr 1999
 - 
Mar 2002
Todaiji-gakuen Senior High School
 

Committee Memberships

 
Apr 2018
 - 
Today
IEC TC56  WG4 (Information on dependability)
 
Oct 2016
 - 
Today
ISO/IEC JTC1  SC7 / WG7 committee member
 
Jul 2016
 - 
Today
DEOS Association  Standardisation committee
 

Awards & Honors

 
Nov 2017
MVP, Fosternet Inc.
 
Sep 2017
Jury's Special Award, NRI Hackathon bit.connect
Winner: (by Team nana*nana*nana)
 

Published Papers

 
Shuji Kinoshita, Yoshiki Kinoshita, and Makoto Takeyama
7th International Workshop on Assurance Cases for Software-intensive Systems (ASSURE 2019), Turku (Finland), accepted for publication      Sep 2019   [Refereed]
Shuji Kinoshita
PhD thesis (Kanagawa University)      Mar 2018   [Refereed]
Shuji Kinoshita and Yoshiki Kinoshita
5th International Workshop on Assurance Cases for Software-intensive Systems (ASSURE 2017), Trento (Italy)      Sep 2017   [Refereed]
Koji Okuno, Shuji Kinoshita, Yoshiki Kinoshita, Makoto Takeyama and Hayao Nakahara
IPA SEC journal   13(2) 44-51   Sep 2017   [Refereed]
Shuji Kinoshita and Yoshiki Kinoshita
4th International Workshop on Assurance Cases for Software-intensive Systems (ASSURE 2016), Trondheim (Norway)      Sep 2016   [Refereed]

Conference Activities & Talks

 
Shuji Kinoshita
日本ソフトウェア科学会 第14回ディペンダブルシステムワークショップ(DSW 2016)、北海道函館市   16 Dec 2016   
Formal Assurance Case in Agda (FACIA)
Shuji Kinoshita
2nd International Workshop on Argument for Agreement and Assurance (AAA 2015), Yokohama (Japan)   17 Nov 2015   
Shuji Kinoshita
3rd International Workshop on Assurance Cases for Software-intensive Systems (ASSURE 2015), Delft (Netherland)   22 Sep 2015   
Shuji Kinoshita
Agda Implementers’ Meeting XVII in Shonan, Japan   9 May 2013