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