---
# It is not my fault
:it::flag-dk:
Lorenzo Gentile
lorenzo.gentile@consensys.net
---
Note:
Elena
Danish summer
---
Note:
Politecnico
Moxoff
---
Note:
Google on Google on Google
Startup
---
Note:
PhD
ITU
TU Darmstadt
---
Note:
Consensys
---
This is the end... :crying_cat_face: [^1]
[^1]: or maybe not?
Note:
thesis on formal verification
{"contributors":"[{\"id\":\"d80064c0-9b1a-4455-a2b0-11618ed627cd\",\"add\":2523,\"del\":3991,\"latestUpdatedAt\":1764252447898}]","breaks":true,"description":"View the slide with \"Slide Mode\".","title":"DTU presentation"}