K. Rustan M. Leino

• Program Proofs
• Computer Aided Verification
• Verification, Model Checking, and Abstract Interpretation