--> To Japanse Version
Katsumi Wasaki received the M.S. and Ph.D degrees in information engineering from Shinshu University at Nagano, Japan, in 1993 and 1997, respectively. He is presently a Professor of Computer Science, Department of Information Engineering at Shinshu University, where he initially joined in 1998. During occasional leaved of absence from Japan, he was invited to visit Department of Computing Science, University of Alberta at Edmonton, Canada, in 2003 and 2005. He has served on the NEDO: New Energy and Industrial Technology Development Organization in Japan, as a member of technological evaluation committee in 2008. His current research interests include modeling and analysis of concurrent, parallel and/or distributed processing systems, mathematical model and formal verification of asynchronous circuits, and hardware compiler for model checking systems. He is a member of IEEE, IEICE, IPSJ and IEEJ.
E-mail / wasaki _AT_ cs.shinshu-u.ac.jp