筑波大学 / 情報学群情報科学類
Thrust: A Prophecy-Based Refinement Type System for Rust (PLDI 2025)
Rust プログラムの機能的正当性を全自動で検証するツール Thrust を提案・開発し、共同で執筆した論文が PLDI 2025 に採択されました
400万人が利用するビジネスSNS
小川 広水
クックパッド株式会社 / SRE / ソフトウェアエンジニア
この先やってみたいこと
未来
インフラ領域での経験を活かして、楽しい仕事ができたらいいなと思います
/assets/images/338/original/4c6d810a-196d-4db9-a362-f6604df47601.png?1498121795){kind=avatar}
クックパッド株式会社4年間
SRE / ソフトウェアエンジニア現在
- 現在
AWS 上でのインフラ構築からサーバーのメンテナンス、Ruby on Rails でのバックエンド開発まで、幅広く業務を行っています。最近は CI/CD を軸足に開発生産性の向上に力を入れています
SRE（インターン）
筑波大学5年間
情報学群情報科学類
-
/assets/images/3581962/original/3eea2578-2bb9-4457-89b4-f9a01c109297?1552556403){kind=avatar}
ピクシブ株式会社
PIXIV SPRING BOOT CAMP 2022 技術基盤コース（インターン）
/assets/images/11804506/original/f7efdbe4-415e-4db6-95cd-a11702c2471f?1673822736){kind=avatar}
株式会社HERP2年間
バックエンドエンジニア（インターン）
-
HaskellでWebバックエンドを書いたりCIを速くしたりしていた
限定公開の職歴・学歴
小川 広水さん
のプロフィールをすべて閲覧
Wantedlyユーザー もしくは つながりユーザーのみ閲覧できる項目があります
過去の投稿を確認する
共通の知り合いを確認する
小川 広水さんのプロフィールをすべて見る
個人の実績
個人の実績
個人の実績
スキルと特徴
Rust
4重光 史也とその他3人が+1
C++
3藤坂 祐史とその他2人が+1
インフラ
3東出 風馬とその他2人が+1
Haskell
1細川 隆之介が+1
実績
受賞と資格
言語
- 英語 - ビジネス会話レベル
- 日本語 - ネイティブレベル