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.
Ph.D. in Computer Science, 2028
B.Sc. in Information and Computation, 2023
Wuhan University of Technology