Shuji Kinoshita

J-GLOBAL         Last updated: Dec 13, 2018 at 10:00
 
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 Areas

 
 

Academic & Professional Experience

 
Apr 2017
 - 
Today
Project Researcher, Research Institute for Programming Science, Kanagawa University
 
Aug 2016
 - 
Today
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
 
Apr 2007
 - 
May 2012
NIPPON CONTROL SYSTEM Corporation
 

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

 
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]
Shuji Kinoshita and Yoshiki Kinoshita
5th International Workshop on Assurance Cases for Software-intensive Systems (ASSURE 2017), Trento (Italy)      Sep 2017   [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