Tinko Velichkov Tinchev

Tinko Velichkov Tinchev is a Professor and Researcher at the Faculty of Mathematics and Informatics (FMI), Sofia University "St. Kliment Ohridski". His research focuses on Modal Logic, Dynamic Logic, and Formal Methods, particularly in applications to spatial reasoning and theoretical computer science.

• Email: tinko@fmi.uni-sofia.bg
• Office Hours: Thursday 11-12, Friday 13:30-15:30

His work spans geometric reasoning, equivalence relations, and knowledge representation. Publications include collaborations on region-based theories of space, affine reasoning, and modal operators for logical systems.