Shin Ando

筑波大学 / 情報学群情報科学類
Log in and connect

Shin Ando

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

Log in and connect

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

筑波大学4 years

情報学群情報科学類

-

SECCON Beginners1 year

作問メンバーPresent

- Present

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

InternPresent

- Present

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

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

-

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

Intern

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

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

-

SecHack3651 year

学習駆動コース 坂井ゼミ

-

Publications

Accomplishments / Portfolio

Awards and Certifications

言語

  • Japanese - Native

Keep up to date with your connections on the Wantedly People App.

Open App