/

KINOSHITA Yoshiki

[Kinoshita is my family name and Yoshiki is my given name.]
Affiliation

Research Center for Verification and Semantics
National Institute of Advanced Industrial Science and Technology

Postal address
Research Center for Verification and Semantics
AIST
5th Floor, Mitsui Sumitomo Kaijo Senri Bldg.
1-2-14 Shin-senri Nishi, Toyonaka, Osaka, 560-0083 Japan
Phone
+81-6-4863-5014
Fax
+81-6-4863-5052
E-mail
URL
http://staff.aist.go.jp/kinoshita.yoshiki/
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

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
Memberships
Japanese Society for Software Science and Technology
International Society for Mathematical Sciences
Information Processing Society of Japan
Interests

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

Projects in progress