Research Interests

• Synthesis, integration and combination of decision procedures
  • Deduction-based decision procedures for program analysis
  • Constraint Contextual Rewriting
  • The TSat Project
  • Systems for Integrated Computation and Deduction
• Automatic Analysis of Security Protocols and Service-oriented Architectures
  • The AVISS Project (Automated Verification of Infinite State Systems)
  • The AVISPA Project (Automated Validation of Internet Security Protocols and Applications)
  • The V@PSI Project
  • The AVANTSSAR Project (Automated Validation of Trust and Security of Service-oriented Architectures)
• Software Model-Checking
  • The Eureka Project
  • Decision Procedures for Software Model Checking