Director of AI & Product
- Leading AI systems that automatically detect, prove, and prevent bugs through AI‑driven workflows, formal verification, and smart data‑centric integrations.
- Owning the full lifecycle from problem discovery through system design, evaluation, and deployment.