Stefan Volodev Vatev

Stefan Volodev Vatev serves as Assistant Professor in the Department of Mathematical Logic and its Applications at the Faculty of Mathematics and Informatics, University of Sofia "St. Kliment Ohridski". His teaching portfolio includes core theoretical computer science courses: Languages, Automata, and Computability; Computability and Complexity; Semantics of Programming Languages; and Discrete Mathematics and Algorithms.

His research centers on Mathematical Logic with specialized focus in Computability Theory and Computable Structure Theory. He investigates effective properties of mathematical structures, embeddings between structures, and algorithmic aspects of algebraic systems.

Analysis of his 13 publications (2011-2024) reveals consistent exploration of computability in linear orders, cohesive powers, jump inversion phenomena, and structural embeddings. His work demonstrates strong collaborative patterns with researchers including Bazhenov, Soskova, and Harizanov, primarily published in top venues like Journal of Symbolic Logic and CiE proceedings.

No scientific awards were documented in the source materials.

Available information lacks details regarding student advising activities, research grants, or laboratory affiliations. No mention of future research directions or ongoing projects was provided.