Dr. Stefan Ellmauthaler

Angestellt, Research Associate, TU Dresden

Abschluss: Dr. rer. nat., Universität Leipzig

Dresden, Germany

About me

Postdoctoral Researcher with a demonstrated history of working in higher education. Skilled in Complexity Theory, Computational Complexity, Mathematical Logic, and Reasoning. Research professional with a Doctor of Science - Dr. rer. nat. focused in Artificial Intelligence and Knowledge Representation from Leipzig University. Currently a Research Associate at TU-Dresden, Faculty of Computer Science, Center for Computational Logic (ICCL) and Center for Scalable Data Analytics and Artificial Intelligence (ScaDS.AI), Knowledge-Based Systems Group with the main research focus on existential rules, argumentation theory, and datalog. Leading and developing a rust-based software bundle project to solve argumentation problems with the help of Binary Decision Diagrams and NoGood-Learning methods. Able to expertise in Answer Set Programming questions to solve discrete planning and optimisation problems, which occur regularly in every day situations (e.g. scheduling, allocation, ...).


Computer Science
Artificial intelligence
Higher Education Teaching
Answer Set Programming
Declarative programming
Knowledge Representation
Complexity Theory
Argumentation Theory
Python Programmierung
Wissenschaftliche Mitarbeit
Diskrete Planungsprobleme
Diskrete Optimierung
Rust (programming language)
Post-doctoral position


Professional experience for Stefan Ellmauthaler

  • Current 2 years and 9 months, since Jan 2021

    Research Associate

    TU Dresden

    I am a postdoctoral research associate in the BMBF funded Competence Center for Scalable Data Services and Solutions (ScaDS.AI) at the Knowledge-Based Systems group. Research in the Field of Rule-Based Reasoning and Query Answering. Rust based software development. Teaching in the Field of Knowledge Representation.

  • 2 years and 3 months, Oct 2018 - Dec 2020

    Postdoctoral Researcher

    Universität Leipzig

    I am a postdoctoral research assistant in the field of artificial intelligence. This position has obligatory teaching duties, where I am responsible for a practical computer science master course on declarative programming and a variety of exercises, seminars, and lectures for bachelor and master students in the field of artificial intelligence.

  • 6 years, Oct 2012 - Sep 2018

    Research Assistant

    Universität Leipzig

    PhD position in Artificial Intelligence (Knowledge Representation and Reasoning)

  • 1 month, Mar 2011 - Mar 2011

    Project Employee

    Technische Universität Wien
  • Teaching Assistence for the bachelor course "EProg" (Introduction to Programming) on a 10 hour per week basis

Educational background for Stefan Ellmauthaler

  • 2012 - 2018

    Computer Science (Knowledge Representation and Reasoning)

    Universität Leipzig

    Thesis on Multi-Context Reasoning in Continuous Data-Flow Environments

  • 2009 - 2012

    Computational Intelligence

    Technische Universität Wien

  • 2005 - 2009

    Medizinische Informatik

    Technische Universität Wien

  • 2000 - 2005

    Elektronische Datenverarbeitung und Organisation

    HTBLuVA Wiener Neustadt

    Prozedurale und objektorientierte Programmiersprachen (C, C++, C#, BASIC, Java, ...) Webdesign (HTML, JavaScript, PHP, ...) Netzwerktechnik Betriebliche Organisation Rechnungswesen


  • German

    First language

  • English



Full-time roles
Permanent roles


Digital Photography
Board Games

Browse over 20 million XING members