Ákos Hajdu

Logo

Computer scientist, PhD
Software Engineer at Facebook

akoshajdu@fb.com
Short CV   Long CV
Publications

About Me

Computer scientist located in London, UK, working on static analysis at Facebook. 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.

News

Research Interests

Education and Degrees

Employment

Tools

Selected Publications

Full list of publications / Google Scholar / dblp

Research Projects

Service