conf.researchr.org / Khaled Ahmed
Registered user since Tue 7 Jul 2020
Name:Khaled Ahmed
Bio:
- Senior Applied Research Scientist - Verification @ Axiomatic_AI, Toronto. Developing AI that combines modern learning systems with logic, domain knowledge, and mathematical structure.
- 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:Axiomatic AI
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