1/ Excited to share that I've just received my third Ethereum Foundation academic grant, this time under the 2025 Academic Grants Round 🎉 The project will combine fuzzing, reinforcement learning, and formal methods for Ethereum consensus

I got tenure at UCSB! 🎉 12 years ago, I knew almost nothing about PL. Thank my superstar advisor, Isil, for teaching me how to do real research (and sat through those 10-hour pre-PLDI meetings from sunrise to sunset). We were the best partners on almost everything. I was also extremely lucky to be mentored by THE BEST PL folks on this planet, Alex Aiken, Ras Bodik, and Emina Torlak, who shaped my research taste. To my amazing students—Yanju, Junrui, Hongbo, @trackoor, Bryan, Nicholas, and many others—you are the best part of this job. To my collaborators—Osbert Bastani, Ruben Martins, Yuan Tian, Chenglong Wang, Yuepeng Wang, Xinyu Wang, @lukejdpearson (also my investor, lol)—thank you for making research a true joy. To my UCSB colleagues and the anonymous letter writers—thank you for the incredible words and believing in me. And to my wife—thank you for standing by me through those tough years and every crazy decision along the way. I couldn’t have done this without all of you. Here’s to the next chapter. 🚀

Thank our supporters and my amazing team. What we’ve done so far is just the beginning.