1/ 很高兴分享我刚刚获得了我的第三个以太坊基金会学术资助，这次是在2025年学术资助轮 🎉 该项目将结合模糊测试、强化学习和形式化方法来研究以太坊共识。

我在加州大学圣巴巴拉分校获得了终身教职！ 🎉 12年前，我几乎对编程语言（PL）一无所知。感谢我的超级顾问Isil教会我如何进行真正的研究（并陪我度过那些从日出到日落的10小时预PLDI会议）。我们几乎在所有事情上都是最佳搭档。 我也非常幸运地得到了地球上最优秀的编程语言专家的指导，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同事和匿名信件作者——感谢你们的精彩话语和对我的信任。 还有我的妻子——感谢你在那些艰难的岁月和每一个疯狂的决定中支持我。 没有你们，我无法做到这一切。祝下一个篇章顺利。 🚀

感谢我们的支持者和我出色的团队。 到目前为止，我们所做的只是一个开始。