Tatyana Ivanova studied informatics and mathematical logic at the Faculty of Mathematics and Informatics
of Sofia University. She obtained her
PhD in 2016.
Tatyana Ivanova is currently assistant professor at Institute of Mathematics and Informatics of Bulgarian Academy of Sciences.
Tatyana Ivanova's research interests include logics for space and time, modal logic.
T. Ivanova and D. Vakarelov. Distributive
mereotopology: extended distributive contact lattices. Annals of
Mathematics and Artificial Intelligence, 77(1), 3-41.
T. Ivanova. Extended contact algebras and internal connectedness. Submitted.
T. Ivanova. Logics for extended distributive contact lattices. Submitted.
Department of Algebra and Logic
Institute of Mathematics and Informatics
Bulgarian Academy of Sciences
1113, Sofia, Bulgaria, Acad. Georgi Bonchev Str., Block 8
Tel +3592 979 3834