Expert In:

• Formal verification
• Application domains
• Application Security
• Computer architecture

Expert In:

• Formal methods
• Program Verification
• Abstract Interpretation
• Application security

Expert In:

• Formal synthesis
• Verification of discrete event systems
• Communication and information systems
• Control of discrete event systems

Expert In:

• Lightweight formal methods
• Specifically verification of Smart Contracts
• Autonomous vehicles
• Blockchain

Expert In:

• Formal methods
• Testing, Analysis, Verification, and Security of AI Systems
• Automated testing
• Computer security