ICFP 2022
Sun 11 - Fri 16 September 2022 Ljubljana, Slovenia
ICFP 2022 (series) / Ákos Hajdu
Ákos Hajdu

Registered user since Thu 3 Oct 2019

Name:Ákos Hajdu
Country:United Kingdom
Affiliation:Meta
Personal website: https://hajduakos.github.io/
X (Twitter): https://x.com/himynameisakos
GitHub: https://github.com/hajduakos
Research interests:Formal methods, program analysis, static analysis, automated reasoning, SAT/SMT

Contributions

Show activities from other conferences

ICFP 2022-profile
View general profile
OSZAR »