Varun Pant
Varun Pant leads engineering and product work in the AWS Automated Reasoning Group, building formal-verification and neurosymbolic AI systems that help teams prove software behavior against explicit specifications.
0 LIKES
- Videos
- 1
- Channels
- 1
- Topics
- 4
