Registered user since Tue 7 Jul 2020
Name:Khaled Ahmed
Bio:
- Research Engineer at Huawei Canada, Waterloo: semi-formal verification of large language models, design of AI-driven software engineering workflows.
- Ph.D. in Computer Engineering at 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.
- Visit my webpage for more information.
Country:Canada
Affiliation:Huawei Research Canada
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:Software Engineering for AI, AI for Software Engineering, Program analysis
Contributions
Using general profile