Ahmed spent several years in industry before joining SRG to pursue his doctoral studies. His industrial experience spans several years in companies such as Sophos, Microsoft and Meta. He holds a MSc in Information Security with Distinction from Royal Holloway, University of London and a BSc. in Computer Science from Modern Sciences and Arts (MSA) university in Egypt.
Ahmed is generally interested in program analysis. His research currently focuses on test generation for library testing.
Group Publications
-
Understanding API Usage and Testing: An Emprirical Study of C Libraries
International Conference on Evaluation and Assessment in Software Engineering (EASE 2025)
-
Generating and Contributing Test Cases for C Libraries from Client Code: A Case Study
Ahmed Zaki, Arindam Sharma, Cristian Cadar
IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER 2025)
Talks
-
Generating and Contributing Test Cases for C Libraries from Client Code: A Case Study
Conference talk @ International Conference on Software Analysis, Evolution and Reengineering (SANER 2025)