Andreas Podelski

• Constraint programming
• Constraint Programming: Basics and Trends
• Networked Systems
• Static Analysis
• Verification, Model Checking, and Abstract Interpretation
• Tools and Algorithms for the Construction and Analysis of Systems