Expert In:

• Program Verification
• Automated program analysis
• Abstract Interpretation
• Application security

Expert In:

• Program understanding
• Program verification
• Compilers
• Cybersecurity

Expert In:

• Specifically verification of Smart Contracts
• Static and dynamic program analysis
• Verification
• Programming languages

Expert In:

• Program analysis
• Testing, Analysis, Verification, and Security of AI Systems
• Automated testing
• Computer security