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, ...).
Timeline
Professional experience for Stefan Ellmauthaler
Current 3 years and 10 months, since 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.
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.
PhD position in Artificial Intelligence (Knowledge Representation and Reasoning)
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
Languages
German
First language
English
Fluent