Veronika is a postdoctoral researcher in the MIT-IBM Watson AI Lab at IBM Research, Cambridge, MA. Her research interests lie broadly in knowledge representation and reasoning and she has worked on query answering over knowledge graphs, existential rules, and in description logics. Her current work focuses on the combination of symbolic and subsymbolic knowledge representations and reasoning. She is also interested in ontologies and reasoning in healthcare applications and the Semantic Web.
Previously, Veronika worked as a postdoctoral researcher at TU Dresden, Germany, where she also received her Ph.D. in Computer Science in 2017. The doctoral thesis focuses on temporal query answering in description logics.
All publications from that time can be found at: https://iccl.inf.tu-dresden.de/web/Veronika_Thost/Publikationen/en