Conversation

#自己紹介 #introduction
こんにちは。カナダの片田舎で博士課程の学生をやっています。来年で3年目突入。

以前から他のサーバーにアカウントを持ってましたが、マストドン復帰するために一念発起して自分用サーバーを建ててしまいました。

数学モデルを使った形式手法による制御システムセキュリティの研究をやってます。最近は自動運転車にも興味あり。プログラミングも結構すきです。最近はFF14とRimWorldにはまってます。どうぞよろしく。

Hello, I'm a Japanese PhD student living in Canada. My research topic is control systems security using math and formal methods.

I love to code, and play ffxiv and rimworld. Feel free to follow me!