1/ 今回は 2025 年のアカデミック グラント ラウンド🎉で、イーサリアム財団の 3 回目のアカデミック グラントを受け取ったことを共有できることを嬉しく思います このプロジェクトは、ファジング、強化学習、イーサリアムコンセンサスのための形式手法を組み合わせます

UCSBでテニュアを取得しました!🎉 12年前、私はPLについてほとんど何も知りませんでした。スーパースターのアドバイザーであるIsilに、実際の研究の方法を教えてくれたことに感謝します(そして、日の出から日没まで10時間のPLDI前の会議に出席してくれました)。私たちはほとんどすべてにおいて最高のパートナーでした。 また、私の研究の好みを形作ってくれた、この地球上で最高のPLの人々、アレックス・エイケン、ラス・ボディック、エミナ・トーラックから指導を受けたことも非常に幸運でした。 私の素晴らしい生徒たち、ヤンジュ、ジュンルイ、ホンボー、@trackoor、ブライアン、ニコラス、その他多くの生徒たちにとって、あなたはこの仕事の最高の部分です。 私の共同研究者であるオズベルト・バスタニ、ルーベン・マルティンス、ユアン・ティアン、チェンロン・ワン、ユエペン・ワン、シンユ・ワン、@lukejdpearson(私の投資家でもあります笑)の皆さん、研究を真の喜びにしてくれてありがとう。 UCSBの同僚と匿名の手紙の書き手の皆さん、素晴らしい言葉と私を信じてくれてありがとう。 そして妻にも、あの困難な年月と、その過程でのあらゆるクレイジーな決断を乗り越えて私に寄り添ってくれてありがとう。 皆さんがいなければ、私はこれを成し遂げることができなかったでしょう。次の章へ。🚀

サポーターと素晴らしいチームに感謝します。 私たちがこれまでにやってきたことはほんの始まりにすぎません。