People
Ákos Hajdu
Software Engineer
I am a Software Engineer at Meta, working on static and dynamic code analysis in the WhatsApp Dev Infra team. I received my PhD in computer science from the Budapest University of Technology and Economics (BME) in 2020.
Interests
Verification, program analysis, static analysis, formal methods, automated reasoning