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
Security
Mobile/Pervasive Computation

Academic Activities :

Selected Publication :

Postal Address :

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