Karim Ali

Associate Professor of Computer Science Affiliation: NYU Abu Dhabi
Education: BSc The American University in Cairo; MMath University of Waterloo; PhD University of Waterloo

Research Areas: Programming languages; static analysis; security; compilers


Karim Ali is an Associate Professor of Computer Science at NYUAD. He received his PhD from the University of Waterloo in 2014 and worked as a postdoctoral researcher at TU Darmstadt for approximately two years. Before joining NYUAD, Ali was an Associate Professor in the Department of Computing Science at the University of Alberta. Ali's lab conducts research on programming languages, particularly in scalability, precision, and usability of program analysis tools. His work ranges from developing new theories for scalable and precise program analyses to applications of program analysis in security and just-in-time compilers. In recognition of his research contributions in the field, Ali has been awarded the Dahl-Naygaard Junior Prize in 2021. He has also received two distinguished paper awards from ACM SIGSOFT and ACM SIGPLAN.

Courses Taught