Ali Shokri

Dr. Ali Shokri is a tenure-track Assistant Professor in the Department of Computer Science at the University of Houston, where he joined in May 2025. His research focuses on Automated Software Productivity (code synthesis, translation) and Code Reliability & Quality (bug detection, security assurance).

• Ph.D. in Computer Science (Rochester Institute of Technology, 2023)
• M.Sc. in Information Technology (Tarbiat Modares University, 2014)
• B.Sc. in Software Engineering (University of Tehran, 2007)

His recent work explores program synthesis and formal verification applied to security and reliability. Publications in top venues like ICSE, OOPSLA, and ASE highlight his contributions to binary-level pointer analysis, taint-based call graphs, and interprocedural synthesis for security.

Dr. Shokri has served on program committees for conferences including ICSE’25, USENIX’24, and ASE’22. He actively recruits PhD students aligned with his focus areas and teaches COSC 4315 - Programming Languages and Paradigms at UH.

• First-place award winner at ACM ASE’21
• 2018 Data61 research scholarship
• 2018 University of Melbourne PhD admission with fellowship

He previously worked as a postdoctoral research associate at Virginia Tech’s Electrical and Computer Engineering department (2023) and was a research intern at Google and PARC during his PhD. Two patents emerged from his work on program synthesis and mathematical model derivation.