Yoshiki Kinoshita

Position and Affiliation

Professor

Department of Information Sciences

Faculty of Science

Kanagawa University

Postal address

2946 Tsuchiya

Hiratsuka-shi

Kanagawa

259-1293 JAPAN

E-mail

yoshiki atmark kanagawa-u dot ac dot jp

Biography

Education & Degree:

1981 Bachelor of Science, Department of Information Science, The University of Tokyo

1989 Ph.D, Department of Information Science, Graduate School of Science, The University of Tokyo

Professional career:

April 1981 Texas Instruments Japan Limited (till March 1983)

April 1989 Research Scientist, Language Systems Section, Electrotechnocal Laboratory (ETL)

September 1991 Senior Research Scientist, Language Systems Section, Electrotechnocal Laboratory (ETL)

April 2001 Senior Research Scientist, Collaborative Research Team (C.R.T.) of Informatics, National Institute of Advanced Industrial Science and Technology (AIST)

April 2002 Leader, Information Science Research Group, C.R.T. of Informatics, AIST

April 2003 Director, Laboratory for Verification and Semantics (LVS), AIST

April 2004 Director, Research Center for Verification and Semantics (CVS), AIST

April 2011 Principal Research Scientist, Research Institute for Information Technology, AIST

April 2012 Principal Research Scientist, Research Institute for Secure Systems, AIST

April 2013 Professor, Dept. of Information Sciences, Kanagawa University

Memberships

Japanese Society for Software Science and Technology

International Society for Mathematical Sciences

Information Processing Society of Japan

Interests

  • Programming semantics

  • Verification

  • Assurance cases and validation

List of publications

List of publications

``A relation algebraic semantics of reversible loop programs'' slides (pdf) (2007.7.3 JSSST DSW2007 talk)

Projects in progress

    • Formal assurance case Framework for Open systems dependability (FFO) (RISE project funded by IPA, Information Processing Agency).

Past projects

    • Study on user-oriented dependability (CREST project funded by JST)