Yiannis Charalambous
I am interested in automated program repair using formal verification and LLMs.
Links
Website ↗
Information about me
Byte Repair ↗
Scale formal verification to secure your enterprise.
