researchmap
 
Featured Researcher
Tokyo Metropolitan Institute of Medical Science
 

正当なCSSです!

 


JST Home Page
 

Research Interests  [ formal methods ]

25 items found


  • Hosei University
    Faculty of Computer and Information Sciences, Department of Computer Science  
    Professor
  • Hokkaido University
    Graduate School of Information Science and Technology Division of Systems Science and Informatics  
    Associate 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  
    Senior Research Scientist
  • National Institute of Informatics
    特任研究員
  • 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
  • Japan Advanced Institute of Science and Technology
    Research Center for Advanced Computing Infrastructure