Expert In:

• Program verification
• Program understanding
• Compilers
• Cybersecurity

Expert In:

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

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