ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems · 2022
Cited
14
Resume (English only)
Academic Achievements
Successfully defended his PhD thesis; paper 'SAT-Based PAC Learning of Description Logic Concepts' won a distinguished paper award at IJCAI 2023; paper 'Extremal Fitting Problems for Conjunctive Queries' won the best paper award at PODS 2023; paper 'Actively Learning Concepts and Conjunctive Queries under ELr-Ontologies' was an honorable mention for distinguished paper at IJCAI 2021.
Research Experience
Postdoctoral researcher in the Knowledge Representation Group at Leipzig University, headed by Carsten Lutz. Has been a teaching assistant for various theoretical computer science courses and advised two bachelor's theses and one master's thesis.
Education
PhD, Leipzig University, supervised by Carsten Lutz.
Background
Research interests include learning formal representations from examples, description logic (and related logics), and querying under background knowledge.
Miscellany
Contact: mfunk+spam@posteo.de or mfunk@informatik.uni-leipzig.de; Online: LinkedIn, ORCiD, Google Scholar, dblp; Teaching: Algorithmic Learning Theory (Winter Semester 2024/25), Description Logic (Summer Semester 2025), etc.