Contact

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

Email:

alisa.kovtunova@tu-dresden.de

ORCID iD icon https://orcid.org/0000-0001-9936-0943

Alisa Kovtunova, PhD

Currently


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.

Background


Research Assistant

2016 – 2019

Faculty of Computer Science, Free University of Bozen-Bolzano, Italy.

Teaching Assistant

2017 – 2018

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

Doctoral Degree with the thesis
“Ontology-Mediated Query Answering with Lightweight Temporal Description Logics”

2017

Supervisor: Prof. Alessandro Artale.
Reviewers: Prof. Dr.-Ing. Franz Baader, TU Dresden, Germany and
Dr. Clare Dixon, University of Liverpool, the United Kingdom.

Period Abroad

2015

Birkbeck, University of London, the United Kingdom.

PhD Study Program

2013 – 2017

Faculty of Computer Science, Free University of Bozen-Bolzano, Italy.

Specialist in Mathematics and System Programming

2007 – 2012

Faculty of Computational Mathematics and Cybernetics, Lomonosov Moscow State University, Russia.

Publications

List of my publications on dblp.