Nikolai Käfer

Nikolai Käfer is a doctoral student at the International Center for Computational Logic (ICCL) within the Faculty of Computer Science at Technische Universität Dresden. His research focuses on computational logic, artificial intelligence, and probabilistic reasoning.

• Algebraic and logical foundations of computer science
• Specializing in feature diagram sampling and probabilistic argumentation frameworks
• Contributing to software variability modeling and Bayesian network analysis

Nikolai has published extensively in premier venues such as the International Working Conference on Variability Modeling of Software-Intensive Systems (VaMoS) and the ACM International Systems and Software Product Line Conference (SPLC). His research interests include:

• Variability modeling in software systems
• Probabilistic knowledge representation
• Formal methods and verification
• Bayesian network foundations
• Abstract argumentation frameworks
• Decision support under uncertainty

His recent publications address challenges in feature diagram sampling, BDD compilation techniques for feature models, and theoretical foundations of probabilistic argumentation. Nikolai collaborates with leading researchers in computational logic and software engineering at TU Dresden.

The ICCL team at TU Dresden emphasizes interdisciplinary research in logic-based AI and formal methods. Nikolai's work contributes to advancing these areas through rigorous theoretical analysis and practical tool development.