神戸 隆太

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

神戸 隆太

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

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

この先やってみたいこと

未来

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

株式会社ティアフォー2年間

System Software Team現在

- 現在

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

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

学生

-

型システム


スキルと特徴

  • Java

    2
    • 石川 貴大
    • 平野 隆昭

    石川 貴大平野 隆昭が+1

  • 東大模試全国1位

    2
    • 石川 貴大
    • 平野 隆昭

    石川 貴大平野 隆昭が+1

  • Python

    1
    • 石川 貴大

    石川 貴大が+1

  • Ruby

    1
    • 石川 貴大

    石川 貴大が+1

  • Rails

    1
    • 石川 貴大

    石川 貴大が+1

  • AWS、圏論、型システム 他3件

アプリをインストールして、知り合いの最新の活躍をフォローしよう