SAKURADA, Hideki

Computing Theory Research Group
Innovative Communication Laboratory
NTT Communication Science Laboratories

3-1 Morinosato-Wakamiya
Atsugi, Kanagawa
243-0198 JAPAN
E-mail: sakurada.hideki@lab.ntt.co.jp

Japanese

Research Activities

Verification of Security Protocols
Programming Languages

Please refer to the web page of the subgroup (team) I am participating in for details.

Short Personal History

Mar. 1997, B.Sc. from Department of Science, Kyoto University
Mar. 1999, M.Sc. from Department of Information Science, Graduate School of Kyoto University
Apr. 1999, Nippon Telegraph and Telephone (NTT) Corporation