Thomas Wies

• Verified Software. Theories, Tools, and Experiments
• Automated Verification of Concurrent Search Structures
• Networked Systems
• Programming Languages and Systems
• Verification, Model Checking, and Abstract Interpretation