Kenji Taguchi, Ph.D. (Computer Science)

Affiliation :

Invited Senior Research Scientist

System Life-Cycle Research Group (Kansai)
Research Institute For Secure Systems (RISEC)
National Institute of Advanced Industrial Science and Technology (AIST)

I have worked as researcher/consultant in software industry for 12 years and as academic (lecturer/professor) for 13 years. Before I moved to AIST in 2010 April, I was a professor (by special appointment) at National Institute of Informatics.

I am a co-founder of the iFM (Integrated Fromal Methods) conference series. The first conference was held in 1999 in York. The proceeding was publishd from Springer (IFM '99)

Recently I started a company called CAV Technologies Inc., in 2011 specialized in (C)ertification, (A)ssurance and (V)erification.

(Edited) Proceedings, Book and Journals:

Latest Research Results and Activities:

Formal Methods:

System Assurance:

I have been involved in three standardization efforts;

Recently Involved Conferences/Workshops:

Recent Activities:

Safety Cases:

Internal Control:

Formal Methods:

Security Requirements Engineering:

Specialities :

Specialized in formal methods for system verification, requirements engineering for safe and secure systems, and system assurance for security (ISO/IEC 15408) and functional safety (IEC 61508, ISO 26262, IEC 62278).

Current research interests:

Academic/Professional Activities :

Selected Publication :

Address :

Nakoji 3-11-46, Amagasaki, Hyogo 661-0974, Japan
TEL: +81-6-6494-8051
e-mail: kenji.taguchi(at mark)