2020年4月から組み込み系技術者をやっています。 大学では制御工学を専攻していました。 MATLAB大好きですが他言語にも浮気しています。 主に使っている言語は，MATLAB, C/C++, C#, Pythonなど。

現在の配属先に不安があり、いつでも違う選択ができるように勉強しています。

定理証明系や論理プログラミングに興味をもっています。