Registered user since Thu 27 Oct 2022

Name:Ahmed Khaled Zaher
Country:Egypt
Affiliation:HKUST
Research interests:Program Analysis, Parameterized Algorithms

Contributions

Show activities from other conferences

POPL 2023-profile
View general profile