Hi there ๐ I'm รkos, software engineer at @Facebook, working on static/dynamic program analysis for WhatsApp server and client code.. I did my PhD at @ftsrg in formal methods ๐งโ๐ Formerly I interned at @SRI-CSL and @CERN ๐. In my free time I skate ๐น and take photos ๐ท. Check out my projects below or my homepage.
hajduakos / solidity-summit-demo Goto Github PK
View Code? Open in Web Editor NEWExamples for the solc-verify presentation at the Solidity Summit 2020
Home Page: https://github.com/SRI-CSL/solidity