400万人が利用する会社訪問アプリ

人間が意識せずに安全なプログラムを書ける世界に興味があります。そのために、最近は専ら静的解析(主に型理論)やLSP実装について学んでいます。また、低レイヤの開発やCTFにも興味があります。

筑波大学4年間

情報学群情報科学類

-

SECCON Beginners1年間

作問メンバー現在

- 現在

株式会社リチェルカセキュリティ3年間

インターン現在

- 現在

津山工業高等専門学校4年間

総合理工学科情報システム系

-

株式会社レオンテクノロジー

インターン

セキュリティ・キャンプ全国大会20213ヶ月

C 脅威解析トラック & Y-II システムソフトウェア自作トラック データベースゼミ

-

SecHack3651年間

学習駆動コース 坂井ゼミ

-


言語

  • 日本語 - ネイティブレベル

企業からスカウトをもらいましょう