1/ Animado para compartilhar que acabei de receber minha terceira bolsa acadêmica da Ethereum Foundation, desta vez sob a Rodada 🎉 de Bolsas Acadêmicas de 2025 O projeto combinará fuzzing, aprendizado por reforço e métodos formais para o consenso Ethereum

Eu consegui estabilidade na UCSB! 🎉 12 anos atrás, eu não sabia quase nada sobre PL. Agradeça ao meu conselheiro superstar, Isil, por me ensinar como fazer pesquisas reais (e assistiu àquelas reuniões pré-PLDI de 10 horas do nascer ao pôr do sol). Éramos os melhores parceiros em quase tudo. Também tive muita sorte de ser orientado pelo pessoal do THE BEST PL neste planeta, Alex Aiken, Ras Bodik e Emina Torlak, que moldaram meu gosto de pesquisa. Para meus alunos incríveis - Yanju, Junrui, Hongbo, @trackoor, Bryan, Nicholas e muitos outros - você é a melhor parte deste trabalho. Aos meus colaboradores - Osbert Bastani, Ruben Martins, Yuan Tian, Chenglong Wang, Yuepeng Wang, Xinyu Wang @lukejdpearson (também meu investidor, lol) - obrigado por fazer da pesquisa uma verdadeira alegria. Aos meus colegas da UCSB e aos escritores de cartas anônimas - obrigado pelas palavras incríveis e por acreditar em mim. E para minha esposa - obrigado por ficar ao meu lado durante esses anos difíceis e todas as decisões malucas ao longo do caminho. Eu não poderia ter feito isso sem todos vocês. Aqui está o próximo capítulo. 🚀

Agradeço aos nossos apoiadores e à minha equipe incrível. O que fizemos até agora é apenas o começo.