Kim Guldstrand Larsen

• Computer aided verification
• Dependable Software Engineering. Theories, Tools, and Applications
• Formal Methods for Industrial Critical Systems
• Reactive Systems
• Verification, Model Checking, and Abstract Interpretation
• Tools and Algorithms for the Construction and Analysis of Systems