Damien Zufferey

• Numerical Software Verification
• Verification, Model Checking, and Abstract Interpretation