News:

• 👉 Checkout my new blog on semantics and systems.
• Our paper on using LLMs to evaluate behavioral models received the distinguished paper award at Models 2025.

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!

✋ Before you leave, checkout this website, lots of cool info.