Vesselin Velichkov

Vesselin Velichkov serves as an Honorary Fellow at the School of Informatics, University of Edinburgh, where he is affiliated with the Laboratory for Foundations of Computer Science (LFCS), a core research institute dedicated to advancing theoretical computing principles.

His research centers on foundational computer science disciplines including Algorithms, Programming Languages, and Formal Methods, with specific emphasis on computational logic and semantic frameworks. These areas underpin critical advancements in software verification, language design, and computational theory.

As a member of LFCS, Velichkov contributes to the institute's mission of rigorous theoretical inquiry, collaborating within Edinburgh's vibrant research ecosystem focused on solving fundamental problems in computer science through mathematical precision and innovative modeling approaches.