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. 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.

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.

You can download my public PGP key for encrypted and signed email-communication here.