Write a Blog >>
PLDI 2021
Sun 20 - Sat 26 June 2021 Virtual Conference
Ákos Hajdu

Registered user since Thu 3 Oct 2019

Name: Ákos Hajdu

Country: United Kingdom

Affiliation: Facebook

Personal website: https://hajduakos.github.io/

Twitter: https://twitter.com/himynameisakos

GitHub: https://github.com/hajduakos

Research interests: Formal methods, verification, program analysis, automated reasoning

Contributions

PLDI 2021 Committee Member in Artifact Evaluation Committee within the Research Artifacts-track
Show activities from other conferences

Using general profile