4 results for "Verification":
Derek Rayside
Expert In:
Verification
Cybersecurity
Debugging
Decision support
View Profile
Vijay Ganesh
Expert In:
Testing, Analysis,
Verification
, and Security of AI Systems
Testing, Analysis,
Verification
, and Security of Software
NeuroSymbolic AI
Proof Complexity and Mathematical Logic
View Profile
Patrick Lam
Expert In:
Program
verification
Compilers
Cybersecurity
Infrastructure integrity
View Profile
Hiren Patel
Expert In:
System-level design and
verification
methodologies
Communications and access
Compilers
Computer architecture
View Profile