Chapel Hill, NC
Param Chaudhari
AI Systems & Full-Stack Engineer.
MS in Computer Science at UNC Chapel Hill.
Param's Muninn: Trained on me; with me
LiveAssistant
Hi. Ask me anything
What did Param ship to pydantic-ai?
Assistant
Param shipped thread-safe usage tracking and helped co-architect a unified citation interface for pydantic-ai. The work resolved race conditions in parallel tool execution and standardized source attribution across OpenAI, Anthropic, and Gemini providers.
Sources used pydantic-ai PRs
Open source, last 6 months
405
Commits
15
PRs
15
Repos
#Claude#Pydantic-AI#vLLM#CVA6
Education
- MS · Computer ScienceUNC Chapel Hill · Chapel Hill, NCAug 2024 — May 2026GPA 4.0
- BE · Computer EngineeringPES Modern College of Engineering · Pune, IndiaAug 2019 — May 2023GPA 9.41 / 10
Now playing
Do I Wanna Know? · Official Arctic Monkeys
2:284:01
Currently building
VAC Protocol
v0.3 · Rust · MCP
Where
Chapel Hill, NC
Local time
Open to relocation
Numbers
90×
CVA6 verify
40%
RAG p95 cut
7.5×
Attn speedup
20k+
ITS users
500+
UNC app seats
8.5k+
Pydantic AI LoC
Toolkit
RISC-VSystemVerilogKLEETLA+BiscuitMCPFastMCPvLLMPydantic AILangGraphLangChainLangSmithPythonRustTypeScriptBashNext.jsReactFastAPINode.jsTailwindgRPCPostgresPrismaRedisPineconeChromaDBBERTHugging FaceDockerKubernetesTerraformAWSOpenTelemetryELKPytestPlaywrightOAuthJWTRISC-VSystemVerilogKLEETLA+BiscuitMCPFastMCPvLLMPydantic AILangGraphLangChainLangSmithPythonRustTypeScriptBashNext.jsReactFastAPINode.jsTailwindgRPCPostgresPrismaRedisPineconeChromaDBBERTHugging FaceDockerKubernetesTerraformAWSOpenTelemetryELKPytestPlaywrightOAuthJWT
Skills.
Languages
PythonRustSystemVerilogTypeScript / JavaScriptHTML / CSSBashC++Go
AI / ML
PyTorchvLLMLangChainLangGraphLangSmithPydantic AICrewAIMCPFastMCPVector DatabasesSemantic + Hybrid SearchBERT ClassifiersHugging FaceOpenAI / Anthropic / Gemini SDKs
Frameworks
ReactNext.jsFastAPINode.jsExpress.NETZustandReact QueryTailwind CSSgRPCOpenTelemetry
Systems & Cloud
DockerKubernetesTerraformAWSGCPMicroservicesServerlessLinux KernelRISC-VRDMAELK Stack
Data
PostgreSQLPrismaMongoDBRedisSQLiteChromaDBPineconeUpstash
Testing & Verification
PytestPlaywrightVitestStatic AnalysisFormal VerificationTLA+KLEE
Security & Auth
OAuthJWTOpenSSLBiscuitIAMPost-Quantum Cryptography
Tools
ClaudeCursorGit / GitHubCI/CD
Experience.
Full resume →- Aug 2025 — NowPart Time
Software Developer (AI Full-Stack)
UNC Chapel Hill — CS Dept
Next.jsFastAPILangChainPineconePostgres - Aug 2025 — NowPart Time
Research Assistant, Hardware Security Lab
UNC Chapel Hill — CS Dept
SystemVerilogPythonRISC-VCVA6Formal - Aug 2024 — Aug 2025Part Time
IT Technician
Information Technology Services, UNC Chapel Hill
ELKLinuxNetworkingBashMonitoring - Aug 2023 — Aug 2024Full Time
Research Software Engineer
DRDO, Bangalore
PythongRPCPQ CryptoPytestCI/CD - Jan 2022 — Jan 2023Internship
Software Developer (Full-Stack), Intern Best Performing Intern
Bharat Blockchain Network
Node.jsGraphQLMongoDBAWS EC2Terraform - Mar 2022 — May 2022Internship
Cybersecurity Foundations, Virtual Intern
Palo Alto Networks
Zero TrustFirewallsIDS/IPSCloud Security - Oct 2021 — Dec 2021Internship
AWS Cloud, Virtual Intern
Amazon Web Services
EC2S3RDSLambdaServerless
Hackathons & awardsLucid Programming Competition 2025 — Winner · Smart India Hackathon 2023 — 2nd Runner-up · HackNC 2025 · Bharat Blockchain Hackathon 2023 · Hacktoberfest 2021 / 2022 / 2024 · MCP Apps Hackathon 2026 · Manufact MAP Apps Hackathon 2026
Projects.
VAC Protocol
FeaturedVerifiable Agent Credentials.
Capability-based security sidecar in Rust. Replaces over-privileged API keys with task-scoped, short-lived sessions for AI agents — stateless authorization, K8s-deployable Docker container, Biscuit token facts. Companion MCP server + Python SDK exposes security tools to agents in LangGraph.
TraceLens
Visual debugger for LangGraph.
Real-time observability platform on AWS — Next.js + React + FastAPI. OpenTelemetry instrumentation for AI agents, nested checkpoints to SQLite for time-travel debugging. Handles 50+ concurrent workflows under 20 ms.
Garuda
RISC-V ML accelerator.
Custom INT8 MAC instructions extending the CVA6 core via CVXIF. Attention microkernel with deterministic loop execution removes CPU dispatch overhead — 7.5–9× p99 latency cut on batch-1 attention (307 → 34 cycles).
Serverless RAG
Scale-to-zero on Vercel Edge.
$0/month idle, sub-50 ms cold starts. gRPC ingestion gateway, Upstash Redis semantic caching, Upstash Vector embeddings — 30–60% LLM token reduction. Playwright e2e for UI reliability.
Muninn
Memory-backed portfolio assistant.
RAG chatbot for paramsc.dev, indexed over Param's CV, resume, projects, OSS PRs, writing, education, and practice logs. Uses build-time local MiniLM embeddings, bundled JSON vector search, Groq Llama 3.3 streaming, and citation chips with a $0/month operating target.
Axiom
Verification for distributed systems.
Hybrid TLA+ ↔ KLEE framework. Model-checker counterexamples drive symbolic execution; property-directed loop auto-generates invariants and KLEE harnesses. Verified safety properties for Raft.
AI Ticketing
Automated support for REDCap.
FastAPI + Python pipeline. Semantic search resolves common queries instantly from an FAQ knowledge base; React frontend escalates the rest. Serves 1,000+ users daily.
Cursor PDF / DOCX Reader
In-IDE doc extraction extension.
Published to VS Code + Cursor marketplaces. PyMuPDF + python-docx engine for high-fidelity text extraction. Auto-detection layer lets AI agents read local docs for context-aware code generation.
Hybrid MCP Hub
Privacy-aware agentic router.
Python + LangGraph router for agentic queries between local and remote MCP tools. Semantic routing enforces data boundaries while keeping sub-second latency under load.
NLP Reranking Pipeline
BERT classification + cross-encoder rerank.
BERT-based classification feeding a ChromaDB vector store. Custom cross-encoder reranker, grid-searched hyperparameters — high-precision document retrieval.
Open source.
pydantic / pydantic-ai
Thread-safe usage tracking + unified citation interface.
Resolved race conditions in parallel tool execution. Co-architected a unified citation interface (8.5k+ LoC) that standardizes source attribution across OpenAI, Anthropic, and Gemini providers.
PR #1 ✓PR #2 ✓
vllm-project / vllm
Blackwell quantization stability.
INT8 quantization checks + automatic FP8 fallback for SM100+ kernel loading. Keeps the runtime stable when newer GPUs lack expected kernels.
mcp / python-sdk
Pool exhaustion in streamable HTTP / SSE.
Diagnostic suite + connection-pool fix to prevent leaks when SSE streams fail mid-flight.
openhwgroup / cva6
RV64 interrupt cause + latch inference, fixed.
Corrected how RV64 interrupt causes are recorded; eliminated unintended latch inference. Improves cross-platform synthesis on a CPU that ships in real silicon.
anthropics / skills
YAML fix + 3× faster bbox validator.
Fixed a YAML parsing bug in skill-creator template (bracketed descriptions misread as lists). Sped up bbox validation 3× by grouping checks per page to skip redundant cross-page comparisons.
robotframework / SeleniumLibrary
Full-page screenshot keyword.
Multi-strategy capture (CDP, Firefox-native) — handles pages that overflow the viewport without manual scroll-stitching.
content-aggregator
Browser reuse + exponential-backoff rate limiting.
Cut redundant browser launches; added respectful rate limiting with strict per-source article caps.
Blog.
All posts →An AI Disproved an 80-Year-Old Math Conjecture. The Prompt Was One Paragraph.
I’m not a professional mathematician. I’m someone who loves algorithms, proofs, and the moments when pure math collides with the real world. So when OpenAI announced their internal model had…
May 22, 2026Read on Medium
History of World Models: From Mental Simulators to AI’s Next Frontier
A quick heads-up: This post is a bit of a deep dive. While I usually aim for brevity, the history of world models, stretching from 1943 to today’s multi-billion dollar research labs, is far too…
Feb 22, 2026Read on Medium
Writing.
- Paper · Apr 2026
Roadblocks in extending SEIF to CVA6.
UNC Library
- Paper · May 2023
Comparing consensus in vehicular ad-hoc networks: an analytical review.
JETIR · Vol. 10, Issue 5
Talks.
- Talk · Apr 2024
Post-quantum cryptography & error-correcting codes.
DRDO, Bangalore
- Talk · Jan 2023
VertexAI: best practices.
Google Developer Group, Pune
- Talk · Feb 2022
History of blockchain: from the 1980s to present.
Blockaders Club, PES Modern College
CONTACT
Get in Touch
Want to chat? Reach out anytime — use the email card or links below; your mail app opens in one tap.