Yakir Vizel

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