Write a Blog >>
ICSE 2023
Sun 14 - Sat 20 May 2023 Melbourne, Australia
Ákos Hajdu

Registered user since Thu 3 Oct 2019

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


FormaliSE 2023 Committee Member in Program Committee within the FormaliSE 2023-track
ICSE 2023 Boosting Static Analysis with Dynamic Runtime Data at WhatsApp Server
Show activities from other conferences

ICSE 2023-profile
View general profile