Khaled Ahmed

Khaled Ahmed

Ph.D. from The University of British Columbia (UBC)

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.
  • Ph.D. in Electrical and Computer Engineering from the University of British Columbia, Vancouver: Static and dynamic program analysis, security analysis, and malware detection.
  • 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!

Latest blog post on semantics and systems:

Spec Driven Development: Fixing the AI Coding Pipeline with OpenSpec and Claude Code by Khaled Ahmed, PhD

Stop letting AI guess your architecture. Start orchestrating it with Spec-Driven Development

Read on Substack

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