MODELS 2025 (series) / Khaled Ahmed
Registered user since Tue 7 Jul 2020
Name:Khaled Ahmed
Bio:
- 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.
Visit my webpage for more information.
Country:Canada
Affiliation:Huawei Research Canada, University of British Columbia (UBC)
Personal website: https://khaled-e-a.github.io
X (Twitter): https://x.com/khaled_e_a_
GitHub: https://github.com/khaled-e-a
Research interests:Program analysis
Contributions
Using general profile