Stefan Ellmauthaler

Dr. rer. nat.

I am a postdoctoral researcher in the Knowledge-based Systems group of Prof. Dr. Markus Krötzsch at TU Dresden. My position is funded by ScaDS.AI (Center for scalable data analytics and artificial intelligence) and the industry-focused InnoSale (Innovating Sales and Planning of Complex Industrial Products Exploiting Artificial Intelligence) project. I received both, my B.Sc. in “Medicine and Computer Science” in 2009, as well as my diploma in “Computational Intelligence” in 2012, at the Vienna University of Technology. In 2018 I defended my doctoral thesis “Multi-Context Reasoning in Continuous Data-Flow Environments” which has been supervised by Prof. Gerhard Brewka at Leipzig University.

My research interests are knowledge representation, logic programming, rule-based reasoning, multi-context reasoning, nonmonotonic reasoning, and (abstract) argumentation theory.

I am currently co-organising the Fifth International Workshop on Systems and Algorithms for Formal Argumentation (SAFA 2024).

My practical and technical interests are currently mainly focused on programming Rust and on having a robust production-system, based on NixOS with flakes. You can find adf-obdd, my current NixOS setup, and my solutions to every part of all 25 AoC 2021 puzzles of the problems given for 2021 at the respective GitHub-hosted sites.