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.