Hello! My name is Yiannis Charalambous, I am a PhD student at The University of Manchester studying Bounded Model Checking and Large Language Models. I am in my 1st year, so I am at the beginning of my learning journey.

ESBMC-AI

The main project I am developing is ESBMC-AI, an experimental automated program repair suite that uses LLMs. The repaired code is guaranteed to be correct because it uses ESBMC, a BMC verifier which mathematically proves that software is safe. I am incorporating my research into this software. So far the results are promising!

It is important this project receives funding as it will ensure its development. This has potential to be used to automate code repair, which is tedious.