I am currently a Ph.D. student at the Formal Verification Group where my research interest falls in the intersection of formal methods and artificial intelligence. I develop semi-formal techniques for synthesizing loopy probabilistic programs leveraging neuro-symbolic approaches.