Stefan Ellmauthaler

Computer Scientist (Dr. rer. nat.), Rust developer, Teacher, Projectmanager, and NixOS Enthusiast

Portrait of Stefan Ellmauthaler

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 earned my B.Sc. in “Medicine and Computer Science” in 2009 and my diploma in “Computational Intelligence” in 2012, both from the Vienna University of Technology. In 2018, I defended my doctoral thesis “Multi-Context Reasoning in Continuous Data-Flow Environments” under the supervision of Prof. Gerhard Brewka at Leipzig University.


Professional activities

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

Currently, I am co-organizing the Fifth International Workshop on Systems and Algorithms for Formal Argumentation (SAFA 2024). In the InnoSale project, I manage tasks to represent TU Dresden as the work package lead for implementation.

On the practical side, I focus on Rust programming and maintaining a robust production system based on NixOS with flakes. Check out my projects: adf-obdd, my NixOS setup, and my solutions to all Advent of Code 2021 puzzles on GitHub.

Spare time

Voluntarily I offer a weekly table tennis for employees event as a Dresdner Hochschulsportzentrum (DHSZ) activity. It is inviting players of all levels to have a 90 minutes lunch break filled with a fun sport.

Jugger is my second active sport, which I try to do at least weekly. It is a dynamic and agile team sport, combining strategic fencing elements with teamwork, where players aim to outmaneuver their opponents and score by placing a foam ball on the goal.

Alpine skiing is some occassional hobby of mine. It happens during the winter season at holidays in Austria.

Board games are yet another hobby of mine, where I really enjoy more exotic and complex games. I have a huge collection of kickstarter-campaign games as well.

GitHub Mastodon Linkedin Xing ResearchGate Google Scholar E-Mail