PLDI 2025
Mon 16 - Fri 20 June 2025 Seoul, South Korea
Ákos Hajdu

Registered user since Tue 24 Sep 2024

Name:Ákos Hajdu
Country:United Kingdom
Affiliation:Meta
Research interests:Formal methods, program analysis, static analysis, automated reasoning, SAT/SMT

Contributions

Show activities from other conferences

Using general profile