Description: Computer scientist, PhD
Computer scientist, PhD Software Engineer at Meta
[email protected] Publications
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.