SAKURADA, Hideki Computing Theory Research Group Innovative Communication Laboratory NTT Communication Science Laboratories 3-1 Morinosato-Wakamiya Atsugi, Kanagawa 243-0198 JAPAN E-mail: s_a_k_u_r_a_d_a.h_i_d_e_k_i@l_a_b.b_r_l.n_t_t.c_o.j_p (Remove the underscores!)

Events

To be announced

Research Activities

• Verification of Security Protocols
• Programming Languages

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