Toshiaki Aoki
Professor
School of Information Scienceã€Security and Networks Area
Japan Advanced Institute of Science And Technology
Japan
Biography
â– Degrees B.S. from Science University of Tokyo(1994), M.S. and Ph.D. from Japan Advanced Institute of Science and Technology(1996, 1999)
Research Interest
Software Engineering, Software Science, Formal Method, Formal Verification