Institute of Theoretical Computer Science

Chair of Automata Theory
  • Andreas-Pfitzmann-Bau (APB),
  • Etage 3, Raum 3024
  • Nöthnitzer Str. 46
  • 01187 Dresden

TU Dresden


ORCID iD icon

Alisa Kovtunova, PhD


I am working as a postdoc for the Transregional Collaborative Research Centre 248 "Foundations of Perspicuous Software Systems" (CPEC) on the projects A3: Description Logic Explications and E2: Safe Handover in Mixed-Initiative Control. Additionally, I was elected to represent post-doctoral students on the CPEC board.

Research Areas

My work mostly lies in the Knowledge Representation and Reasoning field:

  • Description Logics

  • Computational Complexity of Reasoning

  • Ontology-Mediated Query Answering

  • Temporal Reasoning

Other Activities

PC member of DL 2020, IJCAI-PRICAI 2020, ECAI 2020, AAAI-20 Programs, AAAI-20, IJCAI 2019, DL 2019.

Reviewer for JAIR, ACM Computing Surveys, IJCAR-2018, AAAI-18, FroCoS 2017, KR 2016, FroCoS 2015.


Research Assistant

2016 – 2019

Teaching Assistant

2017 – 2018

“Empirical Methods” and “Probability Theory and Statistics” lab sessions. Faculty of Computer Science, Free University of Bozen-Bolzano, Italy.

Period Abroad


Birkbeck, University of London, the United Kingdom.

PhD Study Program

2013 – 2017

Specialist in Mathematics and System Programming

2007 – 2012


List of my publications on dblp.