My research interest is lightweight verification 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.

Professional Experience

2016 Apr. - 2018 Mar.
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.