I am a postdoc associate in the Systems Software Research Group, Bradley Department of Electrical and Computer Engineering at Virginia Tech, VA, USA, working with Prof. Binoy Ravindran on the intersection of security, program analysis, and formal methods. I received my Ph.D. in Computing and Information Sciences from Rochester Institute of Technology (RIT), NY, USA, in 2023, under the supervision of Dr. Mirakhorli with the focus on program synthesis and program analysis. In particular, my dissertation aimed at pushing the boundary of program synthesis and supporting a wide range of software developers with inter-procedural program synthesis.
My paper on program synthesis is the First-place Award Winner of the Research Competition at the 36th IEEE/ACM International Conference on Automated Software Engineering (ASE’21).
During my Ph.D., as a Research Intern, I had the privilege to collaborate with brilliant researchers at Google (Fall 2022) and PARC (Spring 2022).