Headshot of Ákos Hajdu
Headshot of Ákos Hajdu

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

Latest Publications