Swarat Chaudhuri

• Computer Aided Verification
• Neurosymbolic Programming