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 / root Goto Github PK
View Code? Open in Web Editor NEWThis project forked from root-project/root
Mirror of official ROOT git repository
Home Page: http://root.cern.ch
License: GNU Lesser General Public License v2.1