1/ 很高興分享我剛剛獲得了我的第三個以太坊基金會學術資助，這次是在2025年學術資助輪 🎉 該項目將結合模糊測試、強化學習和形式化方法來研究以太坊共識。

我在UCSB獲得了終身教職！ 🎉 12年前，我幾乎對PL一無所知。感謝我的超級導師Isil，教會我如何進行真正的研究（並且忍受那些從日出到日落的10小時前PLDI會議）。我們幾乎在所有事情上都是最佳夥伴。 我也非常幸運能夠得到這個星球上最棒的PL專家的指導，Alex Aiken、Ras Bodik和Emina Torlak，他們塑造了我的研究品味。 對我驚人的學生們——Yanju、Junrui、Hongbo、@trackoor、Bryan、Nicholas，以及許多其他人——你們是這份工作的最佳部分。 對我的合作者們——Osbert Bastani、Ruben Martins、Yuan Tian、Chenglong Wang、Yuepeng Wang、Xinyu Wang、@lukejdpearson（也是我的投資者，哈哈）——感謝你們讓研究變得如此愉快。 對我的UCSB同事和匿名信件作者們——感謝你們的精彩話語和對我的信任。 還有我的妻子——感謝你在那些艱難的歲月和每一個瘋狂的決定中支持我。 沒有你們，我無法做到這一切。祝下一章順利。 🚀

感謝我們的支持者和我出色的團隊。 到目前為止，我們所做的只是一個開始。