Vi är glada över att kunna berätta att @alexanderlhicks, forskare vid @ethereumfndn, kommer att tala på Open AGI Summit under Devconnect. Hans arbete utforskar formell verifiering av kryptografiska och decentraliserade system, med fokus på incitamentsstrukturer. Följ honom och andra ledande forskare i Buenos Aires 👇