Expert In:

• Verification
• Specifically verification of Smart Contracts
• Autonomous vehicles
• Blockchain

Expert In:

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

Expert In:

• Verification of discrete event systems
• Communication and information systems
• Control of discrete event systems
• Cybersecurity

Expert In:

• Formal verification
• Verification of digital hardware system
• Application domains
• Application Security

Expert In:

• Verification and Validation of Simulators
• Carbon Sequestration
• Computational Fluid Dynamics
• Computational mechanics

Expert In:

• Program verification
• Compilers
• Cybersecurity
• Infrastructure integrity

Expert In:

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

Expert In:

• System-level design and verification methodologies
• Communications and Access
• Compilers
• Computer Architecture

Expert In:

• System-level design and verification methodologies
• Communications and access
• Compilers
• Computer architecture