Adam Krafczyk

Adam Krafczyk is a researcher in the Software Systems Engineering (SSE) group at the University of Hildesheim's Institute of Computer Science. As part of the Faculty of Mathematics, Natural Sciences, Economics and Computer Science, he focuses on software product lines, static analysis, and variability modeling. His work bridges theoretical computer science with practical industrial applications, particularly in improving software configuration and variability management.

Research Interests:
- Variability-aware metrics for software product lines
- Static analysis techniques for large-scale systems
- Conversion of integer-based variability to propositional logic
- Industrial IoT platforms and energy optimization (e.g., ReGaP project)
- Generative AI applications in software development (GENIUS project)
- Configuration mismatch detection in systems like Linux

Notable Projects:

• GENIUS: Generative AI for the Software Development Lifecycle
• ReGaP: Energy optimization in manufacturing via AI/IIoT
• IIP-Ecosphere: Industrial IoT platform for AI integration
• MetricHaven: Tool for variability-aware quality metrics

Awards:
• Best Paper Award at SEAMS 2023 for 'Control Action Types - Patterns of Applied Control for Self-adaptive Systems'

Professional Contributions:
- Developed novel approaches for analyzing software product line variability
- Collaborated with industry partners like Siemens and Bosch
- Active in conferences like SPLC, SEAMS, and ETFA