About

I am currently a dual-degree PhD candidate in the Computer Science and Engineering, jointly affiliated with the Hong Kong University of Science and Technology, and the Sharif University of Technology. Under supervision of Professor Charles Zhang and Dr. Morteza Amini, my research focuses on improving software reliability through static analysis and testing.

During my PhD, my work involves developing innovative static analysis techniques to generate inputs for automated testing. The goal of this research is to effectively reproduce crashes in Android applications, particularly when only a crash stack trace is available. Prior to that, I received my Master’s degree from the Department of Computer Engineering, Sharif University of Technology, in 2016. My earlier research centered on monitoring software programs at the hypervisor level through memory access analysis. My academic journey began with a bachelor’s degree from Amirkabir University of Technology in 2014.

My current research interests lie at the intersection of static analysis, automated testing, and the application of Artificial Intelligence to assist developers in analyzing and enhancing the reliability of software systems.

Research Interest

Static Analysis, Software Testing, AI4SE

Favorite Quotes

“The more I learn, the more I realize how much I don’t know” by Albert Einstein.
“The pleasure of finding things out is the most important kind of happiness you can have” by Richard Feynman.
” No matter how lonely I am, God is always there.” by Ali Shariati
” Small acts of kindness make a big difference.”
” Be optimistic, but not overly optimistic.”