研究ではおおまかにはハイブリッドシステムや実時間システムの形式手法を適用する話を扱っています。応用では特に自律走行自動車やロボットに興味があります。

シェルワンライナーが好きです。特にAWKが好きです。

仕事

2016-現在
Cloud LaTeX にて フロントエンド (ReactJS) からバックエンド (Ruby on Rails) までやるプログラマとサーバエンジニア(AWS)

連絡先

Twitter
@MasWag
GitHub
MasWag
Email
masakiwaga@gmail.com