I am a PostDoctoral Research Associate working at the University of Wisconsin-Madison working with Loris D’Antoni and Thomas Reps. I am investigating the logical foundations of program verification and synthesis within the Semantics-Guided Synthesis Framework. My research interests lies in co-developing general-purpose language-agnostic automated program verification and synthesis techniques and logic solvers.