Interests

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

2016-Now
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.

Contacts

Twitter
@MasWag
GitHub
MasWag
Email
masakiwaga@gmail.com