Registered user since Thu 27 Oct 2022
Name:Ahmed Khaled Zaher
Country:Hong Kong SAR China
Affiliation:HKUST
Personal website: https://ahmedkzaher.com/
Research interests:Algorithms and Complexity, Program Analysis, Model Checking
Contributions
Using general profile