I am currently an Associate Professor of Computer Science at NYU Abu Dhabi where I co-direct the SANAD lab. At SANAD, we design tools and techniques that help software developers perform their tasks more efficiently and effectively. My research focuses on developing and evaluating various program analysis techniques that can be used in practice by exploring three aspects: scalability, precision, and usability. My interests ranges from developing new theories for scalable and precise program analyses to applications of program analysis in security, compiler optimizations, and software performance.

For more info about my research, please check SANAD’s research projects and my publications. You can also find my more detailed CV here.

If you would like to join our lab, please check the current open positions at the SANAD lab.