Expert In:

• Verification
• Cybersecurity
• Debugging
• Decision support

Expert In:

• Testing, Analysis, Verification, and Security of AI Systems
• Testing, Analysis, Verification, and Security of Software
• NeuroSymbolic AI
• Proof Complexity and Mathematical Logic

Expert In:

• Program verification
• Compilers
• Cybersecurity
• Infrastructure integrity

Expert In:

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