Kaloyan Tsvetkov

Doctoral Researcher

About me:

I am a Researcher at the Institute for Computer Science, Artificial Intelligence and Technology, starting in October 2025. My research will be on robust and trustworthy ML under the guidance of Dr. Nikola Konstantinov. I am particularly interested in performative learning and computational learning theory.

Education:

Sofia University “St. Kliment Ohridski”:

BSc in Computer Science (October 2021 to July 2025)

MSc in Computer Linguistics (October 2025 to February 2027 (expected))

Relevant Experience:

Teaching assistant at Sofia University “St. Kliment Ohridski”

Discrete Mathematics (2022 to 2025)

Design and Analysis of Algorithms (2022 to 2025)

Algebra (2024 to 2025)

Research Internship at INSAIT (March 2025 – July 2025)

Research project on deceptive behaviour of LRMs

Dataset contributor in The Open Proof Corpus: A Large-Scale Study of LLM-Generated Mathematical Proofs

Awards:

National Mathematics Students’ Olympiad – silver and bronze medals

Finalist in National Mathematics Olympiad – three times

FMI Codes (Students’ Team Hackathon) – 1st and 2nd places