Allgemeines

Ich war bis zum 14.02.2024 wissenschaftlicher Mitarbeiter im Themengebiet Data Science und verteidigte am 20.01.2025 meine Dissertation "Leveraging Constraints for User-Centric Feature Selection". Konkret beschäftigte ich mich im Rahmen meiner Promotion damit, Nebenbedingungen (Constraints) in die Merkmalsauswahl (Feature Selection) für Vorhersagemodelle zu integrieren. Solche Nebenbedingungen können helfen, Merkmale nicht nur anhand ihrer Vorhersagequalität auszuwählen, sondern auch weitere Aspekte wie Domänenwissen oder Interpretierbarkeit zu berücksichtigen und dadurch die Merkmalsauswahl Nutzer-zentrierter zu machen.

Weiterhin hatte ich Kooperationen mit anderen Forschenden im Bereich Data Science und in Anwendungsfeldern wie Materialwissenschaften, Prozessverifikation und SAT-Solving. Für viele meiner Forschungs- und Lehraktivitäten habe ich GitHub-Projekte erstellt, die den Code und teils noch weitere Materialien enthalten. Für vier meiner Forschungsprojekte habe ich außerdem Python-Pakete auf PyPI veröffentlicht:

  • alfese: Alternative feature selection - Find multiple feature sets (sequentially or simultaneously) that optimize feature-set quality while being sufficiently dissimilar to each other. Version 1.0.0 of the package supports five feature-selection methods.

  • cffs: Constrained (filter) feature selection - Optimize a linear feature-set quality function (univariate filter approach) while considering user constraints formulated in propositional logic and linear arithmetic.

  • csd: Constrained subgroup discovery - Subgroup discovery (1) without constraints, (2) with a limited number of features in the subgroup description, and (3) for finding alternative subgroup descriptions. Version 1.0.0 of the package supports seven subgroup-discovery methods.

  • kpsearch: K-portfolio search - Given the runtimes of multiple algorithms on multiple problem instances, find a subset (with predefined size k) of algorithms which is overall fastest if all algorithms are run in parallel on each instance (or, equivalently, if you have an oracle that always chooses the fastest solver per instance). Version 1.0.0 of the package supports seven portfolio-search methods.

Meine Publikationen und die zugehörigen Experimentaldaten sind im Folgenden gelistet.

Publikationen


Leveraging Constraints for User-Centric Feature Selection. Dissertation
Bach, J.
2025, Februar 6. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000178649VolltextVolltext der Publikation als PDF-Dokument
Towards Automatically Refining Low-Quality Domain Knowledge: A Case Study in Healthcare
Bielski, P.; Jendral, S.; Witterauf, L.; Bach, J.
2025. Machine Learning and Principles and Practice of Knowledge Discovery in Databases – International Workshops of ECML PKDD 2023, Turin, Italy, September 18–22, 2023, Revised Selected Papers, Part III, 361–367, Springer Nature Switzerland. doi:10.1007/978-3-031-74633-8_25
Quantifying Domain-Application Knowledge Mismatch in Ontology-Guided Machine Learning
Bielski, P.; Witterauf, L.; Jendral, S.; Mikut, R.; Bach, J.
2024. Proceedings of the 16th International Joint Conference on Knowledge Discovery, Knowledge Engineering and Knowledge Management (IC3K 2024). Ed.: D. Aveiro. Vol. 2, 216–226, SciTePress. doi:10.5220/0013065900003838VolltextVolltext der Publikation als PDF-Dokument
Knowledge-Guided Learning of Temporal Dynamics and its Application to Gas Turbines
Bielski, P.; Eismont, A.; Bach, J.; Leiser, F.; Kottonau, D.; Böhm, K.
2024. 15th ACM International Conference on Future and Sustainable Energy Systems, Singapur, 4th-7th June 2024, 279–290, Association for Computing Machinery (ACM). doi:10.1145/3632775.3661967VolltextVolltext der Publikation als PDF-Dokument
Active Learning for SAT Solver Benchmarking
Fuchs, T.; Bach, J.; Iser, M.
2023. Tools and Algorithms for the Construction and Analysis of Systems. Ed.: S. Sankaranarayanan. Pt. 1, 407–425, Springer Nature Switzerland. doi:10.1007/978-3-031-30823-9_21VolltextVolltext der Publikation als PDF-Dokument
Leveraging Constraints for User-Centric Selection of Predictive Features
Bach, J.
2022, Oktober 6. AI Hub @ Karlsruhe (2022), Karlsruhe, Deutschland, 5.–7. Oktober 2022 VolltextVolltext der Publikation als PDF-Dokument
An Empirical Evaluation of Constrained Feature Selection
Bach, J.; Zoller, K.; Trittenbach, H.; Schulz, K.; Böhm, K.
2022. SN Computer Science, 3 (6), Art.-Nr.: 445. doi:10.1007/s42979-022-01338-zVolltextVolltext der Publikation als PDF-Dokument
Presentation for the Paper "A Comprehensive Study of k-Portfolios of Recent SAT Solvers"
Bach, J.
2022, August 2. 25th International Conference on Theory and Applications of Satisfiability Testing (SAT 2022), Haifa, Israel, 2.–5. August 2022 VolltextVolltext der Publikation als PDF-Dokument
A Comprehensive Study of k-Portfolios of Recent SAT Solvers
Bach, J.; Iser, M.; Böhm, K.
2022. 25th International Conference on Theory and Applications of Satisfiability Testing (SAT 2022). Hrsg.: Kuldeep S. Meel, 2:1–2:18, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (LZI). doi:10.4230/LIPIcs.SAT.2022.2VolltextVolltext der Publikation als PDF-Dokument
Data-driven exploration and continuum modeling of dislocation networks
Sudmanns, M.; Bach, J.; Weygand, D.; Schulz, K.
2020. Modelling and simulation in materials science and engineering, 28 (6), Art. Nr.: 065001. doi:10.1088/1361-651X/ab97efVolltextVolltext der Publikation als PDF-Dokument
Understanding the effects of temporal energy-data aggregation on clustering quality
Trittenbach, H.; Bach, J.; Böhm, K.
2019. Information technology, 61 (2-3), 111–123. doi:10.1515/itit-2019-0014
On the tradeoff between energy data aggregation and clustering quality
Trittenbach, H.; Bach, J.; Böhm, K.
2018. 9th ACM International Conference on Future Energy Systems, e-Energy 2018; Karlsruhe; Germany; 12 June 2018 through 15 June 2018, 399–401, Association for Computing Machinery (ACM). doi:10.1145/3208903.3212038

Lehre

Ich war dreimal Übungsleiter für die Veranstaltung "Data Science 1" (alter Name: "Analysetechniken für große Datenbestände") und fünfmal Leiter des Praktikums "Praktikum Data Science" (alter Name: "Praktikum: Analyse großer Datenbestände). Die Übung für "Data Science 1" gestaltete ich dabei im Rahmen des "Baden-Württemberg-Zertifikats für Hochschuldidaktik" grundlegend um. Weiterhin betreute ich je ein Projekt im Rahmen der Veranstaltungen "Praxis der Softwareentwicklung" (Thema: "CS:Select - Ein Spiel zur Merkmalsauswahl im maschinellen Lernen") und "Praxis der Forschung" (Thema: "Automating SAT Solver Research"). Außerdem betreute ich drei Seminar-, sieben Bachelor- und drei Masterarbeiten.