Kenji Taguchi, Ph.D. (Computer Science)

Affiliation :

Professor (by special appointment)

Information Systems Architecture Research Division

National Institute of Informatics

Current Work :

I am currently working for Top SE, an education program for highly skilled IT professionals. Since I started working for the program from 2005, I got involved in curriculum design, development of modules on formal methods, security requirements analysis, and mostly administrative works.

Recently I jointly organized an international workshop on Formal Methods Education and Training (FMET). You can download the proceedings from here.

Research Interests :

Formal Methods

• Integration of different formal techniques such as behavioural formalisms (e.g., process algebras, mobile calculi) and state-based formalisms (e.g., Z, Object-Z)
  • Jointly founded the Integrated Formal Methods Conference Series. Next year is the 10th anniversary of iFM!
• Formal design notation for sensor networks
  • SenMod Project
• Body of Knowledge on Formal Methods (FMBOK)
  • FMET Project

Security

• Security Requirements Engineering for Common Criteria
  • Latest work from Progress in Informatics, No.5, pp.19-34, (2008)

Mobile/Pervasive Computation

• (Formal/Semi-formal) design notations for mobile agents and their verifications
  • Latest work appeared in International Journal of Agent-Oriented Software Engineering (IJAOSE), Vo.2, Issue4, pp.449-474, (2008) .

Academic Activities :

Selected Publication :

Postal Address :

2-1-2 Hitotsubashi Chiyoda-ku Tokyo
National Institute of Informatics