I am a Computer Science Freshman at the University of Illinois Urbana-Champaign (UIUC) (GPA 3.8/4.0).

Outside of being a student, I'm founder, engineer and AI researcher. Currently:

• 🚀 Building: Currently building Anvil, an automated customer discovery and acquisiton platform for early stage startups.
• 🔭 Research: Undergraduate Researcher at FOCAL Lab, working on formal verification for agentic workflows.
• 📍 Location: Champaign, IL / Dubai, UAE.

AI Agent for Automated Networking

• Production Architecture: Built the MVP using a robust Next.js 14 / TypeScript stack with PostgreSQL, currently developing product-market fit with early users.
• Real-Time Streaming: Architected a pipeline using Server-Sent Events (SSE) to push asynchronous AI agent states to the client, solving latency issues in long-running LLM workflows.
• Agentic Workflow: Engineered autonomous agents using LangGraph, Claude, and OpenAI to automate professional outreach and referral matching.

Constraint-Satisfaction Class Scheduler

• Algorithm: Architected a constraint-satisfaction engine that generates non-overlapping schedules by pruning search spaces based on user constraints (GPA data, professor ratings, etc).
• Product Lifecycle: Managed the full product lifecycle from prototyping to beta, achieving high retention with 80% of early testers saying they'd regret not being able to use the app.
• Testing: Implemented Jest and Playwright pipelines for unit and E2E validation to ensure reliability during rapid deployments.

RAG-based Educational Pipeline (LessonGPT)

• Scale: A generative text pipeline that synthesized 1,300+ syllabus-aligned lesson plans for 120+ educators, reducing prep time by 70%.
• Awards/Recognition: Finalist (Top 8/300+) in GEMS Global Innovation Challenge; showcased at GITEX Global (200k+ attendees); presented to the UAE government; featured on Gulf News and by GEMS Education India recognized by CEO of GEMS Education.

FOCAL Lab @ UIUC (July 2025 – Present)

• Prototyping autonomous agentic workflows that integrate deterministic finite automata, formal grammars, and deep learning frameworks (Ray, PyTorch) to build formally verifiable AI.

Independent Research (Published in IJNRD)

• Authored a peer-reviewed study on gamification and adolescent productivity (published here).
• Conducted cross-sectional data analysis using Python and the Wilcoxon rank-sum test.

Cambridge Centre for International Research (Summer 2023)

• Spotlight Scholar: Explored quantum superposition and Shor’s algorithm through Python-based Qiskit simulations.

• 💼 LinkedIn: linkedin.com/in/aadivya-raushan
• 📧 Email: raushan2@illinois.edu
• 𝕏 X: https://x.com/aadivyaraushan

Always happy to connect to discuss startup engineering, verifiable AI, and system design for LLM-heavy apps.