Maurice Funk

Maurice Funk is a postdoctoral researcher at Leipzig University, affiliated with the Knowledge Representation Group led by Carsten Lutz. His work bridges theoretical computer science and artificial intelligence.

Current research focuses on formal representation learning, description logic, and querying under background knowledge. He develops algorithms for learning logical concepts and optimizing query processing with ontologies.

Recent publications (2024-2019) explore computational limits of conjunctive query learning, SAT-based PAC learning for description logic concepts, and ontology construction techniques using language models. His work combines theoretical analysis with practical implementations.

Scientific recognition includes:

• Distinguished Paper Award at IJCAI 2023
• Best Paper Award at PODS 2023
• IJCAI 2021 Distinguished Paper Honorable Mention

Active in teaching as both lecturer and teaching assistant since 2020, covering courses in logic, automata theory, and description logic. Co-developer of open-source tools SPELL and ALC-SAT for concept learning applications.