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).

Research interests

• Program analysis [ArCode][Seneca][DepRes]
• Program Synthesis [IPSynth][CONSTRUCT]
• Software Security [SecCont][Sherlock]

News & announcements

Aug 2023: I will be serving the SANER’24 as a PC member of the Research track.
Aug 2023: I’ve joined the ECE department of Virginia Tech (among the top four best ECEs in the US!) as a postdoc associate to expand my research domain to formal-oriented software security.
Jul 2023: I successfully defended my Ph.D. dissertation!
Feb 2023: We have filed two inventions and patent out of my work on program synthesis and program analysis.
Dec 2022: Successfully defended my Ph.D. proposal, getting ready for the dissertation defense in the near future.
Dec 2022: I will be serving the MSR’23 as a Junior PC of the Research track.
Aug 2022: I’ve started a new position as a Research Intern at Google to work on Google’s Large Language Models (LLM) for AI-assisted software development and software synthesis.
May 2022: I’ve finished my Research Internship at PARC, aiming at registering two inventions and 2 papers as outcomes of my contribution.
Mar 2022: I will be serving the ICSE’23 as a PC member of the Research Competition track.
Feb 2022: I will be serving the ISSTA’22 as a PC member of the Tool Demo track.
Feb 2022: I’ve joined the Palo Alto Research Center (PARC) as a Research Intern, Software Synthesis.
Jan 2022: I will be serving the SCAM’22 as a PC member of the Research track.
Jan 2022: I will be serving the PLDI’22 as a PC member of the Research Artifact track.
Jan 2022: I will be serving the ICSME’22 as a PC member of the Tool Demo track.
Dec 2021: I will be serving the ASE’22 as a PC member of the Research Competition track.
Dec 2021: I will be serving the ICPC’22 as a PC member of the Research track.
Nov 2021: My research won the Research Competition Award at ASE’21.