Write a Blog >>
MSR 2021
Mon 17 - Wed 19 May 2021
co-located with ICSE 2021
Á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

MSR 2021 Committee Member in Shadow PC committee within the Shadow PC-track
Show activities from other conferences

Using general profile