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 Goto Github PK
Name: Akos Hajdu
Type: User
Company: @Facebook
Bio: Computer scientist, PhD
Twitter: himynameisakos
Location: United Kingdom
Blog: hajduakos.github.io