Katsuhisa Ozaki is a professor of Department of Mathematical Sciences, Shibaura Institute of Technology. He received his Ph.D. in Engineering from Waseda University, Tokyo in 2007. He was appointed as a Research Associate (2006), an Assistant Professor (2007), Visiting Lecture (full-time) (2008-2009) in the Faculty of
Science and Engineering, at Waseda University. In 2010 he moved to Department of Mathematical Sciences at Shibaura Institute of Technology as an Assistant Professor. His work focuses specifically on verified numerical computations for numerical linear algebra, computational geometry, high performance computing.