Dr. Stefan Ellmauthaler

Angestellt, Research Associate, TU Dresden

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

Dresden, Deutschland

Über mich

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

Fähigkeiten und Kenntnisse

Computer Science
Artificial intelligence
Teaching
Higher Education Teaching
LaTeX
Answer Set Programming
Declarative programming
Knowledge Representation
Complexity Theory
Argumentation Theory
Python Programmierung
C
C++
Java
Wissenschaftliche Mitarbeit
Diskrete Planungsprobleme
Diskrete Optimierung
jupyter
Projekterfahrung
Research
Wissenschaftsorganisation
Rust (programming language)
SPARQL
Datalog
Post-doctoral position
Rust (Programmiersprache)
Research and Development
Project Management

Werdegang

Berufserfahrung von Stefan Ellmauthaler

  • Bis heute 3 Jahre und 6 Monate, seit Jan. 2021

    Research Associate

    TU Dresden

    Research on qualitative AI, rule-based reasoning, ontology based data access, and argumentation theory. Software development in rust, system administration, various organisational tasks, and teaching. Project management duties as a proxy for the work-package lead of InnoSale Funded by the Federal Ministry of Education and Research (BMBF) in ScaDS.AI (Center for Scalable Data Analytics and Artificial Intelligence) and additionally in the BMBF funded industry-oriented project “InnoSale” since 01/2023.

  • 2 Jahre und 3 Monate, Okt. 2018 - Dez. 2020

    Postdoctoral Researcher

    Universität Leipzig

    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 Jahre, Okt. 2012 - Sep. 2018

    Research Assistant

    Universität Leipzig

    PhD position in Artificial Intelligence (Knowledge Representation and Reasoning)

  • 1 Monat, März 2011 - März 2011

    Project Employee

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

Ausbildung von 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

Sprachen

  • Deutsch

    Muttersprache

  • Englisch

    Fließend

Interessen

Digital Photography
Jugger
Board Games
Travelling
Table Tennis
NixOS
Rust
Photography

21 Mio. XING Mitglieder, von A bis Z