Nina Narodytska

• AI Verification
• Software Verification and Formal Methods for ML-Enabled Autonomous Systems