1/ Estou entusiasmado por compartilhar que acabei de receber minha terceira bolsa acadêmica da Ethereum Foundation, desta vez no âmbito da 2025 Academic Grants Round 🎉 O projeto combinará fuzzing, aprendizado por reforço e métodos formais para o consenso do Ethereum.

Consegui a tenure na UCSB! 🎉 Há 12 anos, eu quase nada sabia sobre PL. Agradeço à minha superestrela de orientadora, Isil, por me ensinar a fazer pesquisa de verdade (e por ter aguentado aquelas reuniões de 10 horas antes do PLDI, do nascer ao pôr do sol). Fomos os melhores parceiros em quase tudo. Também tive a sorte extrema de ser orientado pelos MELHORES profissionais de PL deste planeta, Alex Aiken, Ras Bodik e Emina Torlak, que moldaram meu gosto por pesquisa. Para meus alunos incríveis—Yanju, Junrui, Hongbo, @trackoor, Bryan, Nicholas e muitos outros—vocês são a melhor parte deste trabalho. Para meus colaboradores—Osbert Bastani, Ruben Martins, Yuan Tian, Chenglong Wang, Yuepeng Wang, Xinyu Wang, @lukejdpearson (também meu investidor, lol)—obrigado por tornar a pesquisa uma verdadeira alegria. Para meus colegas da UCSB e os escritores de cartas anônimas—obrigado pelas palavras incríveis e por acreditarem em mim. E para minha esposa—obrigado por estar ao meu lado durante aqueles anos difíceis e por cada decisão maluca ao longo do caminho. Eu não poderia ter feito isso sem todos vocês. Aqui está para o próximo capítulo. 🚀

Obrigado aos nossos apoiantes e à minha incrível equipa. O que fizemos até agora é apenas o começo.