1/ Emocionado de compartir que acabo de recibir mi tercera beca académica de la Fundación Ethereum, esta vez bajo la Ronda de Becas Académicas 2025 🎉 El proyecto combinará fuzzing, aprendizaje por refuerzo y métodos formales para el consenso de Ethereum.

¡He conseguido la titularidad en UCSB! 🎉 Hace 12 años, no sabía casi nada sobre PL. Agradezco a mi asesora estrella, Isil, por enseñarme a hacer investigación de verdad (y por soportar esas reuniones de 10 horas previas a PLDI desde el amanecer hasta el anochecer). Éramos los mejores socios en casi todo. También tuve la suerte de ser mentorizado por LOS MEJORES en PL de este planeta, Alex Aiken, Ras Bodik y Emina Torlak, quienes moldearon mi gusto por la investigación. A mis increíbles estudiantes—Yanju, Junrui, Hongbo, @trackoor, Bryan, Nicholas y muchos otros—ustedes son la mejor parte de este trabajo. A mis colaboradores—Osbert Bastani, Ruben Martins, Yuan Tian, Chenglong Wang, Yuepeng Wang, Xinyu Wang, @lukejdpearson (también mi inversor, jaja)—gracias por hacer de la investigación una verdadera alegría. A mis colegas de UCSB y a los escritores de cartas anónimos—gracias por las increíbles palabras y por creer en mí. Y a mi esposa—gracias por estar a mi lado durante esos años difíciles y por cada decisión loca en el camino. No podría haber hecho esto sin todos ustedes. Brindemos por el próximo capítulo. 🚀

Gracias a nuestros seguidores y a mi increíble equipo. Lo que hemos hecho hasta ahora es solo el comienzo.