1 expert in "testing, analysis, verification, and security of software" found:
Vijay Ganesh
Expert In:
Proof Complexity
and
Mathematical Logic
Testing,
Analysis,
Verification,
and
Security
of
AI Systems
Testing,
Analysis,
Verification,
and
Security
of
Software
NeuroSymbolic AI
View Profile