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



JST Home Page

Research Interests  [ Theorem Proving ]

7 items found

  • <
  • >
  • Japan Advanced Institute of Science and Technology
  • Former Institution / Organization University of Tsukuba Graduate School of Systems and Information Engineering
    Assistant Professor
  • Japan Science and Technology Agency
    ACT-I Researcher
  • Kanagawa University
    Research Institute for Programming Science  
  • Ochanomizu University
  • Kyushu University
    Institute of Mathematics for Industry  
  • Tottori University of Environmental Studies

  • <
  • >