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