معرفی
Ali Shokri is a tenure-track Assistant Professor in the Department of Computer Science at the University of Houston. His research focuses on program synthesis, software security, and formal methods, with applications in code translation, bug detection, and interprocedural analysis.
Education:
- Ph.D. in Computing and Information Sciences, Rochester Institute of Technology (2023)
- M.Sc. in Information Technology, Tarbiat Modares University (2014)
- B.Sc. in Software Engineering, University of Tehran (2007)
Research interests include automated software productivity tools, code reliability frameworks, and formally verified binary analysis. He has published in top venues like OOPSLA'24, ICSE'25, and ASE'21, where his program synthesis paper won first place. His work bridges academia and industry through collaborations with Google and PARC.
Scientific contributions include patents on mathematical model extraction from binaries using SMT solvers and genetic algorithms. He serves on program committees for ICSE, LangSec, USENIX, and ASE conferences, emphasizing software engineering and security research.
