Registered user since Sun 29 Sep 2024
Name:Yiannis Charalambous
Bio:
PhD Researcher: 1st year at the University of Manchester Studying LLMs, BMC, and APR
Country:United Kingdom
Affiliation:The University of Manchester
Personal website: https://yiannis-charalambous.com
GitHub: https://github.com/Yiannis128
Research interests:Automated program repair, language models, machine learning, formal verification, bounded model checking
Contributions
Using general profile