News56: Unterschied zwischen den Versionen
Aus International Center for Computational Logic
Elisa Böhl (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „{{Neuigkeit |Titel DE=Neuer Mitarbeiter: Dominik Rusovac |Titel EN=New Member: Dominik Rusovac |Beschreibung DE=Dominik Rusovac ist das neueste Mitglied im…“) |
Elisa Böhl (Diskussion | Beiträge) Keine Bearbeitungszusammenfassung |
||
| (3 dazwischenliegende Versionen desselben Benutzers werden nicht angezeigt) | |||
| Zeile 2: | Zeile 2: | ||
|Titel DE=Neuer Mitarbeiter: Dominik Rusovac | |Titel DE=Neuer Mitarbeiter: Dominik Rusovac | ||
|Titel EN=New Member: Dominik Rusovac | |Titel EN=New Member: Dominik Rusovac | ||
|Beschreibung DE=[[Dominik Rusovac]] ist das neueste Mitglied | |Beschreibung DE= [[Dominik Rusovac]] ist seit Januar 2021 das neueste Mitglied in der Arbeitsgruppe [[Logische Programmierung und Argumentation]]. In den nächsten vier Jahren wird er als Doktorand im [[NAVAS]] Projekt forschen. | ||
<br/>Bevor Dominik an die TU Dresden kam, hat er 2019 an der [https://www.uni-leipzig.de Universität Leipzig] sein Masterstudium im Fach Logik abgeschlossen und im Anschluss bis 2021 als Junior Softwareentwickler bei [https://www.a-trust.at A-Trust] gearbeitet. Während seiner Masterarbeit unter Prof. Dr. Gerhard Brewka beschäftigte sich Dominik mit Inkonsistenz-Werten für nicht-monotone Formalismen, insbesondere Answer Set Semantics. Die Ergebnisse seiner [https://iccl.inf.tu-dresden.de/web/Inconsistency_Values_for_Logic_Programs_under_Answer_Set_Semantics Masterarbeit] stellte Dominik im Rahmen des [https://iccl.inf.tu-dresden.de/web/Research_Seminar_Logic_and_AI Research Seminar Logic and AI] vor. | <br/>Bevor Dominik an die TU Dresden kam, hat er 2019 an der [https://www.uni-leipzig.de Universität Leipzig] sein Masterstudium im Fach Logik abgeschlossen und im Anschluss bis 2021 als Junior Softwareentwickler bei [https://www.a-trust.at A-Trust] gearbeitet. Während seiner Masterarbeit unter Prof. Dr. Gerhard Brewka beschäftigte sich Dominik mit Inkonsistenz-Werten für nicht-monotone Formalismen, insbesondere Answer Set Semantics. Die Ergebnisse seiner [https://iccl.inf.tu-dresden.de/web/Inconsistency_Values_for_Logic_Programs_under_Answer_Set_Semantics Masterarbeit] stellte Dominik im Rahmen des [https://iccl.inf.tu-dresden.de/web/Research_Seminar_Logic_and_AI Research Seminar Logic and AI] vor. | ||
<br/> | <br/> | ||
Herzlich willkommen im Team, Dominik! | Herzlich willkommen im Team, Dominik! | ||
|Beschreibung EN=Since january 2021 we welcome [[Dominik Rusovac]] as new PhD student in the [[NAVAS]] project. | |Beschreibung EN=Since january 2021 we welcome [[Dominik Rusovac]] as new PhD student in the [[NAVAS]] project. | ||
<br/> | <br/> | ||
Dominik studied at the [https://www.uni-leipzig.de Universität Leipzig] Logic and finished his Master thesis under Prof. Dr. Gerhard Brewka in 2019. He worked on the topic of [https://iccl.inf.tu-dresden.de/web/Inconsistency_Values_for_Logic_Programs_under_Answer_Set_Semantics Inconsistency Values for Logic Programs under Answer Set Semantics] and presented his results in the [https://iccl.inf.tu-dresden.de/web/Research_Seminar_Logic_and_AI Research Seminar Logic and AI]. Before joining the group [[Logische Programmierung und Argumentation|Logic Programming and Argumentation]] of [[Sarah Gaggl]] he worked as junior software developer at [https://www.a-trust.at A-Trust]. | Dominik studied at the [https://www.uni-leipzig.de Universität Leipzig] Logic and finished his Master thesis under Prof. Dr. Gerhard Brewka in 2019. He worked on the topic of [https://iccl.inf.tu-dresden.de/web/Inconsistency_Values_for_Logic_Programs_under_Answer_Set_Semantics Inconsistency Values for Logic Programs under Answer Set Semantics] and presented his results in the [https://iccl.inf.tu-dresden.de/web/Research_Seminar_Logic_and_AI Research Seminar Logic and AI]. Before joining the group [[Logische Programmierung und Argumentation|Logic Programming and Argumentation]] of [[Sarah Gaggl]] he worked as junior software developer at [https://www.a-trust.at A-Trust]. | ||
<br/> | <br/> | ||
Good luck Dominik! | Good luck Dominik! | ||
|Datum=2021/01/22 | |Datum=2021/01/22 | ||
Aktuelle Version vom 22. Januar 2021, 18:35 Uhr
Neuigkeit aus der Forschungsgruppe Logische Programmierung und Argumentation vom 22. Januar 2021
Neuer Mitarbeiter: Dominik Rusovac
Dominik Rusovac ist seit Januar 2021 das neueste Mitglied in der Arbeitsgruppe Logische Programmierung und Argumentation. In den nächsten vier Jahren wird er als Doktorand im NAVAS Projekt forschen.
Bevor Dominik an die TU Dresden kam, hat er 2019 an der Universität Leipzig sein Masterstudium im Fach Logik abgeschlossen und im Anschluss bis 2021 als Junior Softwareentwickler bei A-Trust gearbeitet. Während seiner Masterarbeit unter Prof. Dr. Gerhard Brewka beschäftigte sich Dominik mit Inkonsistenz-Werten für nicht-monotone Formalismen, insbesondere Answer Set Semantics. Die Ergebnisse seiner Masterarbeit stellte Dominik im Rahmen des Research Seminar Logic and AI vor.
