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.

Professional Experience

Front end (ReactJS) and Back end (Ruby on Rails) Programmer and Server engineer (CentOS on AWS) in Cloud LaTeX

Experience in RoboTech

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.