MS in Computer Science at UC Santa Cruz. I build distributed systems, data pipelines, and full-stack applications — with a growing interest in AI and ML engineering. Previously at Accenture, working on platform modernization and real-time analytics at scale.
Automated proof generation for mission-critical systems using GPT-4, Llama 2, and formal verification tools Lean 4 and Coq. Integrated RAG and chain-of-thought prompting for verifiable mathematical proofs in safety-critical AI.
Advanced Network Security and Operations Platform with topology analysis and firewall policy engine for detecting configuration vulnerabilities. REST and GraphQL APIs for real-time monitoring with Kubernetes-orchestrated deployments.
Open to full-time software engineering roles. Feel free to reach out — I'd love to chat.
abhischavan18@gmail.com