Ryuta Kambe

株式会社ティアフォー / System Software Team東京
Log in and connect

Ryuta Kambe

株式会社ティアフォー / System Software Team

Log in and connect

~2020 東京大学 工学部 システム創成学科 知能社会システムコース ~2022 東京大学 情報理工大学院 コンピュータ科学専攻 ~現在 株式会社ティアフォー エンジニア AtCoder 2119(highest, 黄)

Ambition

In the future

自動運転ベンチャーでエンジニアやってます。 競プロと低レイヤと型システムが好きです。 最強の自動運転ソフトウェアを作ります。

株式会社ティアフォー2 years

System Software TeamPresent

- Present

自動運転ベンチャーの低レイヤエンジニア 形式検証(TLA+)とOS開発(Rust)

東京大学大学院情報理工学系研究科コンピュータ科学専攻3 years

学生

-

型システム

Skills

  • Java

    2
    • Takahiro Ishikawa
    • Takaaki Hirano

    Recommended by Takahiro Ishikawa, Takaaki Hirano

  • 東大模試全国1位

    2
    • Takahiro Ishikawa
    • Takaaki Hirano

    Recommended by Takahiro Ishikawa, Takaaki Hirano

  • Python

    1
    • Takahiro Ishikawa

    Recommended by Takahiro Ishikawa

  • Ruby

    1
    • Takahiro Ishikawa

    Recommended by Takahiro Ishikawa

  • Rails

    1
    • Takahiro Ishikawa

    Recommended by Takahiro Ishikawa

  • AWS, 圏論, 型システム and 3 skills

Related Profiles

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

Open App