16 experts in "verification" found:

Expert In:

• Software verification
• Compilers
• Computer security
• Cybersecurity

Expert In:

• Computer aided verification
• Computer aided inspection
• Real-time systems
• Software engineering

Expert In:

• Formal verification
• Computer security
• Cybersecurity
• Hardware-based security

Expert In:

• Numerical methods with autmomatic verification results
• Numerical software
• Parallel computing
• Scientific computing

Expert In:

• Formal approaches for design and verification
• Computer architecture
• Computer arithmetic
• Computer networks

Expert In:

• Arms control and weapons verification
• Afghanistan
• conflict prevention
• Conflict regions

Expert In:

• Program verification
• Compilers
• Cybersecurity
• Infrastructure integrity

Expert In:

• System-level design and verification methodologies
• Compilers
• Computer Architecture
• Connectivity and Internet of Things

Expert In:

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

Expert In:

• Verification of hardware systems
• Verification of software
• Compilers
• Logic decision procedures

Expert In:

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

Expert In:

• Chemical treaty verification
• Biodetection of pathogens
• Chemical and biological terrorism
• Chemical and biological warfare and terrorism

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:

• 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