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.
-
Notifications
You must be signed in to change notification settings - Fork 0
hajduakos/hajduakos
About
No description, website, or topics provided.
Resources
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published