Z radością informuję, że @alexanderlhicks, badacz w @ethereumfndn, będzie przemawiał na Open AGI Summit podczas Devconnect. Jego prace badają formalną weryfikację systemów kryptograficznych i zdecentralizowanych, koncentrując się na strukturach zachęt. Złap go i innych wiodących badaczy w Buenos Aires 👇