[ Web Proxy ]
URL:
Viewing: https://paramsc.dev/ [Back]  [Original]
Param ChaudhariSkip to content
HomeSkillsWorkProjectsOSSBlogWritingPracticeAboutContactResume
Chapel Hill, NC

Param Chaudhari

AI Systems & Full-Stack Engineer.
MS in Computer Science at UNC Chapel Hill.

GitHub LinkedIn Mediumparamchaudhari.work@gmail.com
Portrait of Param Chaudhari [Portrait of Param Chaudhari]
[]
Param's Muninn: Trained on me; with me
Live
Assistant
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
Clear chat
Ask anything:
VAC ProtocolRAG p95 winvLLM PRGaruda
Open source, last 6 months
Browse
405
Commits
15
PRs
15
Repos
#Claude#Pydantic-AI#vLLM#CVA6
Click for BRAIN FUEL!
Education
Now playing
Do I Wanna Know? Official Arctic Monkeys
2:284:01
Currently building
VAC Protocol
v0.3 Rust MCP
About Me!
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
  1. Aug 2025 Now
    Part Time

    Software Developer (AI Full-Stack)

    UNC Chapel Hill CS Dept

    Next.jsFastAPILangChainPineconePostgres
  2. Aug 2025 Now
    Part Time

    Research Assistant, Hardware Security Lab

    UNC Chapel Hill CS Dept

    SystemVerilogPythonRISC-VCVA6Formal
  3. Aug 2024 Aug 2025
    Part Time

    IT Technician

    Information Technology Services, UNC Chapel Hill

    ELKLinuxNetworkingBashMonitoring
  4. Aug 2023 Aug 2024
    Full Time

    Research Software Engineer

    DRDO, Bangalore

    PythongRPCPQ CryptoPytestCI/CD
  5. Jan 2022 Jan 2023
    Internship

    Software Developer (Full-Stack), Intern Best Performing Intern

    Bharat Blockchain Network

    Node.jsGraphQLMongoDBAWS EC2Terraform
  6. Mar 2022 May 2022
    Internship

    Cybersecurity Foundations, Virtual Intern

    Palo Alto Networks

    Zero TrustFirewallsIDS/IPSCloud Security
  7. Oct 2021 Dec 2021
    Internship

    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
Featured

Verifiable 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.

RustMCPBiscuitKubernetesLangGraph
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.

Next.jsFastAPILangGraphOpenTelemetrySQLite
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.59 p99 latency cut on batch-1 attention (307 34 cycles).

SystemVerilogRISC-VCVA6CVXIFINT8 MAC
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 3060% LLM token reduction. Playwright e2e for UI reliability.

Next.jsVercel EdgeUpstashgRPCPlaywright
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.

Next.jsRAGMiniLMGroqVercel Edge
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.

TLA+KLEECRaftFormal
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.

FastAPIPythonReactSemantic SearchREDCap
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.

VS CodeCursorPyMuPDFpython-docxPython
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.

MCPFastMCPLangGraphPythonSemantic Routing
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.

BERTChromaDBHugging FaceCross-encoderReranking

Open source.

pydantic / pydantic-ai
View PRs

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
View PRs

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
View PRs

Pool exhaustion in streamable HTTP / SSE.

Diagnostic suite + connection-pool fix to prevent leaks when SSE streams fail mid-flight.

openhwgroup / cva6
View PRs

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
View PRs

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
View PRs

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.

Im not a professional mathematician. Im 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 AIs 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 todays multi-billion dollar research labs, is far too

Feb 22, 2026Read on Medium

Writing.

  1. Paper Apr 2026
    First page thumbnail of Roadblocks in extending SEIF to CVA6. [First page thumbnail of Roadblocks in extending SEIF to CVA6.]

    Roadblocks in extending SEIF to CVA6.

    UNC Library

  2. Paper May 2023
    First page thumbnail of Comparing consensus in vehicular ad-hoc networks. [First page thumbnail of Comparing consensus in vehicular ad-hoc networks.]

    Comparing consensus in vehicular ad-hoc networks: an analytical review.

    JETIR Vol. 10, Issue 5

Talks.

  1. Talk Apr 2024

    Post-quantum cryptography & error-correcting codes.

    DRDO, Bangalore

  2. Talk Jan 2023

    VertexAI: best practices.

    Google Developer Group, Pune

  3. 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.

Via Email
paramchaudhari.work@gmail.com
Collaboration internships full-time roles
Schedule
15 mins call with me!
Walk through what I built or Feedback
Email Book a call Resume
2026 Param Chaudhari
paramchaudhari.work@gmail.comGitHubLinkedInMedium
Web Proxy Viewer  |  New URL  |  Original Page