Akio Nakata received B.E., M.E. and Ph.D. degrees at Department of Information and Computer Sciences, Osaka University in 1992, 1994 and 1997, respectively. He was a research associate of Faculty of Information Sciences, Hiroshima City University from 1997 to 2000. He was a research associate of Graduate School of Engineering Science, Osaka University from 2000 to 2002. He was an associate professor of Graduate School of Information Science and Technology, Osaka University from 2002 to 2007. He is now a professor of Graduate School of Information Sciences, Hiroshima City University. His research interests include process algebra, mathematical logic, specification and verification of real-time distributed systems and communication protocols, and formal description techniques. He is a member of The Information Processing Society of Japan (IPSJ), The Institute of Electrical and Electronics Engineers, Inc. (IEEE), and The Institute of Information and Communication Engineers (IEICE).
Publications
Last modified: Wed Sep 26 13:32:32 JST 2012