Kazunori Ueda received the M.Eng. and Dr.Eng. degrees from The University of Tokyo, in 1980 and 1986, respectively. He joined NEC, in 1983, and from 1985 to 1992, he was with the Institute for New Generation Computer Technology (ICOT) on loan. He joined Waseda University, in 1993, and has been a Professor, since 1997. He has been a Visiting Professor with the Egypt-Japan University of Science and Technology, since 2010. His research interests include design and implementation of programming languages, concurrency and parallelism, high-performance verification, and hybrid systems.