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 / pineappledataflownet Goto Github PK
View Code? Open in Web Editor NEWDataflow Net modeler tool created at the Fault Tolerant Systems Research Group at the Budapest University of Technology and Economics