1/ Cieszę się, że mogę podzielić się informacją, że właśnie otrzymałem trzecią dotację akademicką od Ethereum Foundation, tym razem w ramach 2025 Academic Grants Round 🎉 Projekt połączy fuzzing, uczenie przez wzmocnienie i metody formalne dla konsensusu Ethereum.

Dostałem tytuł na UCSB! 🎉 12 lat temu prawie nic nie wiedziałem o PL. Dziękuję mojemu super doradcy, Isil, za nauczenie mnie, jak prowadzić prawdziwe badania (i za to, że wytrzymała te 10-godzinne spotkania przed-PLDI od świtu do zmierzchu). Byliśmy najlepszymi partnerami w prawie wszystkim. Miałem również ogromne szczęście być mentorem przez NAJLEPSZYCH ludzi od PL na tej planecie, Alex Aiken, Ras Bodik i Emina Torlak, którzy ukształtowali mój gust badawczy. Dla moich niesamowitych studentów—Yanju, Junrui, Hongbo, @trackoor, Bryan, Nicholas i wielu innych—jesteście najlepszą częścią tej pracy. Dla moich współpracowników—Osbert Bastani, Ruben Martins, Yuan Tian, Chenglong Wang, Yuepeng Wang, Xinyu Wang, @lukejdpearson (również mój inwestor, lol)—dziękuję za to, że badania stały się prawdziwą radością. Dla moich kolegów z UCSB i anonimowych autorów listów—dziękuję za niesamowite słowa i wiarę we mnie. A dla mojej żony—dziękuję, że stałaś przy mnie przez te trudne lata i każdą szaloną decyzję po drodze. Nie mógłbym tego zrobić bez was wszystkich. Oto następny rozdział. 🚀

Dziękuję naszym kibicom i mojemu niesamowitemu zespołowi. To, co zrobiliśmy do tej pory, to dopiero początek.