New Member: Dominik Rusovac
From International Center for Computational Logic
News from the research group Logic Programming and Argumentation of January 22, 2021
New Member: Dominik Rusovac
Since january 2021 we welcome Dominik Rusovac as new PhD student in the NAVAS project.
Dominik studied at the Universität Leipzig Logic and finished his Master thesis under Prof. Dr. Gerhard Brewka in 2019. He worked on the topic of Inconsistency Values for Logic Programs under Answer Set Semantics and presented his results in the Research Seminar Logic and AI. Before joining the group Logic Programming and Argumentation of Sarah Gaggl he worked as junior software developer at A-Trust.