Ákos Hajdu

Logo

Computer scientist, PhD
Software Engineer at Meta

akoshajdu@fb.com
Publications

About Me

Computer scientist located in London, UK, working on static/dynamic program analysis at Meta/WhatsApp. PhD in formal methods from BME, Hungary. Former intern at CERN and SRI International. Feeling the most comfortable at the intersection of theory and practice, where the latest research results come to life in real-world solutions.

Education

Employment

Internships

Tools

Selected Publications

Full list of publications / Google Scholar / dblp

Service