researchmap
 
Featured Researcher
Kyoto Institute of Technology
Osamu Mizuno is an Associate Professor in Graduate School of Science and Technology, Kyoto Instit...
 

正当なCSSです!

 


JST Home Page
 

Research Interests  [ formal methods ]

24 items found


  • Hokkaido University
    Graduate School of Information Science and Technology Division of Systems Science and Informatics  
    Associate Professor
  • Hosei University
    Faculty of Computer and Information Sciences, Department of Computer Science  
    Professor
  • Kyushu University
    Research Institute for Information Technology  
  • National Institute of Informatics
    Professor
  • Hiroshima City University
    Graduate School of Information Sciences, Dept. of Systems Engineering  
    Professor
  • National Institute of Advanced Industrial Science and Technology
    Cyber Physical Security Research Center  
    Research Scientist
  • Yamaguchi University
    Faculty of Systems Science and Technology  
  • Ibaraki University
    Graduate School of Science and Engineering (Engineering), Department of Computer and Information Sciences  
    Associate Professor
  • Kanto Gakuin University
    College of Science and Engineering  
    Professor
  • National Institute of Informatics
    特任研究員