Challenges students to grow and excel.
This comment is not public.
Karim Ali is an Associate Professor of Computer Science at New York University Abu Dhabi, where he contributes to the Division of Science. He earned his Bachelor of Science from The American University in Cairo, followed by a Master of Mathematics and a PhD from the University of Waterloo, completing the latter in 2014. After his doctoral work, Ali served as a postdoctoral researcher at the Technical University of Darmstadt for approximately two years. He subsequently held the position of Associate Professor in the Department of Computing Science at the University of Alberta prior to joining NYU Abu Dhabi. Throughout his career, Ali has focused on advancing theoretical and practical aspects of computer science, particularly in areas that bridge academic research with developer needs.
In his current role, Ali co-directs the SANAD lab at NYU Abu Dhabi, which specializes in designing tools and techniques to enable software developers to perform tasks more efficiently and effectively. His research interests include programming languages, static analysis, security, and compilers. The lab emphasizes improving the scalability, precision, and usability of program analysis tools, developing new theories for scalable and precise program analyses, and applying these in domains such as security, just-in-time compilers, compiler optimizations, and software performance. Ali's contributions to the field have been recognized with the Dahl-Naygaard Junior Prize in 2021, as well as two distinguished paper awards from ACM SIGSOFT and two from ACM SIGPLAN, highlighting the significance of his work in software engineering and programming languages.
