Stefan Volodev Vatev Assistant professorPhDMathematical Logic and ApplicationsEmail: stefanv@fmi.uni-sofia.bgPhone: +359 2 8161 524Room: Room 3, FzFTeachingLanguages, Automata, ComputabilityComputability and ComplexitySemantics of Programming LanguagesWebsitesPersonal webpageORCIDScopusWeb of science
