Discover companies you will love

Shin Ando

筑波大学 / 情報学群情報科学類

Shin Ando

筑波大学 / 情報学群情報科学類

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

筑波大学4 years

情報学群情報科学類

-

SECCON Beginners1 year

作問メンバーPresent

- Present

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

InternPresent

- Present

津山工業高等専門学校4 years

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

-

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

Intern

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

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

-

SecHack3651 year

学習駆動コース 坂井ゼミ

-


言語

  • Japanese - Native

Receive Scouts from companies