Vivek Patel
cs & econ at penn state
i'm a rising senior at penn state studying computer science and economics. i love building software that solves real world problems. i care about design, small interactions, and getting the details right.
PENN STATE '27 · DEAN'S LIST ×2 · PUBLISHED RESEARCH ×1
Research ↓RESEARCH
Can Large Language Models Simulate Symbolic Execution Output Like KLEE?
Feng · Gupta · Patel · Ernampati · Saha — 2025
With Penn State's program analysis group — evaluating whether LLMs can stand in for a symbolic execution engine, toward pruning redundant paths and cutting the cost of program analysis.
ARXIV:2511.08530 ↗PROJECTS
Donna
2026 A voice agent that answers the phone for food banks — negotiates donor pickups and dispatches to pantries, on real calls.FrontRun
2026 An autonomous sales agent — detects startup funding filings the moment they're public, then researches, reaches out, and books the meeting.CanvasCTL
2026 Canvas LMS in your terminal — a companion CLI with a local vault, an AI chat agent, and an MCP server that hands your courses to any agent.IdeaStruct
2024 Turns unstructured notes into queryable knowledge graphs. Built with a team of four at HackMIT.Package Automation
2024 — OCR, fuzzy matching, and browser automation clearing up to 1,500 campus packages a day for 70,000+ students. FERPA-safe.INTERESTS
THE WEEKND
DRIVING FAST CARS
COP VIDEOS
COOKING NEW RECIPES FOR FRIENDS
MIKE ROSS FROM SUITS
LUCIFER
THE PROFESSOR FROM MONEY HEIST
CONTACT
if any of this interests you — or you just wanna connect — reach me at
vivekpatel@psu.edu