1/ Ich freue mich, mitteilen zu können, dass ich gerade meinen dritten akademischen Zuschuss der Ethereum Foundation erhalten habe, diesmal im Rahmen der akademischen Zuschüsse 2025 🎉 Das Projekt wird Fuzzing, verstärkendes Lernen und formale Methoden für den Ethereum-Konsens kombinieren.