About me:

Research Engineer at Huawei Canada, Waterloo

• Formal methods and verification of generative large language models.

Pursuing Ph.D. in Computer Engineering at the University of British Columbia, Vancouver

• Static and dynamic program analysis, security analysis, and malware detection.

Obtained M.Sc. and B.Sc. in Electrical Engineering from Alexandria University, Egypt

• FPGAs, computer architecture, and high-level synthesis.

Check the navigation bar above for more!