## Education

### PhD Degree

#### DTAI Lab: Machine Learning Group

Logic for Data Analysis

Data Mining, Machine Learning, Computational Logic.

### Master Degree

#### European Master's Program in Computational Logic (EMCL)

Foundations of logic.

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

Applied Logic.

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

Knowledge Representation and Reasoning

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

### Bachelor Degree

Applied mathematics and computer science.

Focus: discrete mathematics, algorithms and programming.