Ich freue mich, mitteilen zu können, dass @alexanderlhicks, Forscher bei @ethereumfndn, beim Open AGI Summit während Devconnect sprechen wird. Seine Arbeit untersucht die formale Verifikation von kryptografischen und dezentralen Systemen, mit einem Fokus auf Anreizstrukturen. Sehen Sie ihn und andere führende Forscher in Buenos Aires 👇