My research interest is formal methods for hybrid or real-time systems. As applications, I am especially interested in autonomous cars and robots. That is related to the experience as a member of the team for robot contest (RoboTech) in the University of Tokyo. For more information, please visit the research page.
As my hobby, I love shell scripts. Especially AWK is my favorite language. I am also interested in programmable logic devices such as FPGA.
In RoboTech, I belonged to control section and I was the chief of the section in 2015. I mainly took part in driving of robots and trajectory prediction with ASUS Xtion or Microsoft Kinect but not limited to.