神戸 隆太
株式会社ティアフォー / System Software Team東京
400万人が利用する会社訪問アプリ
株式会社ティアフォー / System Software Team
~2020 東京大学 工学部 システム創成学科 知能社会システムコース ~2022 東京大学 情報理工大学院 コンピュータ科学専攻 ~現在 株式会社ティアフォー エンジニア AtCoder 2119(highest, 黄)
自動運転ベンチャーでエンジニアやってます。 競プロと低レイヤと型システムが好きです。 最強の自動運転ソフトウェアを作ります。
自動運転ベンチャーの低レイヤエンジニア 形式検証(TLA+)とOS開発(Rust)
型システム
神戸 隆太さん
のプロフィールをすべて閲覧
Wantedlyユーザー もしくは つながりユーザーのみ閲覧できる項目があります
過去の投稿を確認する
共通の知り合いを確認する
神戸 隆太さんのプロフィールをすべて見る