PhD Degree

DTAI Lab: Machine Learning Group

Katholieke Universiteit Leuven

Faculty of Computer Science

Logic for Data Analysis

Data Mining, Machine Learning, Computational Logic.

Master Degree

European Master's Program in Computational Logic (EMCL)

Dresden University of Technology

Faculty of Computer Science

Foundations of logic.

Constraint and logic programming, complexity theory, interactive theorem proving.

Free University of Bolzano

Faculty of Computer Science

Applied Logic.

Information integration, databases, ontologies, model checking, SAT-solving.

Vienna University of Technology

Faculty of Computer Science

Knowledge Representation and Reasoning

Deductive databases, answer set programming, web data extraction and integration.

Bachelor Degree

Moscow Institute of Physics and Technology

Department of Informatics

Applied mathematics and computer science.

Focus: discrete mathematics, algorithms and programming.

High School