About

I am a Ph.D. student in Computer Science at the University of Bristol, supervised by Cristina David and Meng Wang. My passion for research is fuelled by my conviction that I am engaged in meaningful work with the potential to make a real impact on society.

Curious about the person behind the research? Here are a few fun facts about me →

Research Interests

• Neuro-Symbolic Reasoning Combining LLMs' generative power with symbolic logic for verifiable code synthesis.
• Correctness-Guaranteed GenAI Developing frameworks to ensure behavioral consistency in automatically generated code.
• Early Error Detection Leveraging formal verification for incomplete programs to improve generation efficiency.
• Scalable Modular Generation Managing complex module dependencies and dependency graphs in large-scale codebases.

Education

News