Welcome to the Programming Languages (PL) research group of KIT, led by Sebastian Erdweg since 2025. The PL team develops programming languages and programming tools that help developers to tackle the inherent complexity of software:
 application intent, security, performance, safety, and correctness. Our key research topics are domain-specific languages, logic programming, static analysis, and incremental computing.