{"data":{"awards":["American Invitational Mathematics Exam (AIME) Qualifier","USACO Silver Division","Quiz Bowl Nationals"],"education":{"coursework":["System Programming","Computer Architecture","Data Structures","Discrete Structures","Abstract Algebra","Number Theory","Linear Algebra","Differential Equations","Statistics & Probability","Computational Science","Electronics"],"dates":"Aug 2025 -- May 2028","degree":"B.S. in Mathematics (Technical GPA: 4.0), James Scholar","school":"University of Illinois at Urbana-Champaign"},"email":"advayth2@illinois.edu","experience":[{"bullets":["Built a Streamlit UI enabling CRUD operations for JSON configuration files used by an internal Generative AI API and migrated 300+ prompt templates into a PostgreSQL database.","Designed a modular configuration system enabling dynamic pipeline updates without code changes, improving iteration speed for internal AI workflows."],"dates":"June 2024 -- Aug 2024","id":"abbvie","name":"AbbVie","subtitle":"Generative AI Platform \\& Workflow Automation Intern","tags":["swe","python","sql","ml"]}],"github":"https://github.com/AamindMandragora/","languages":["C++","C","Python","Lean4","Verilog","Dafny","Rust","SQL","React","TypeScript"],"linkedin":"https://www.linkedin.com/in/advayth-pashupati/","location":"Chicago, IL","name":"Advayth Pashupati","phone":"+1 (224) 391-2254","projects":[{"bullets":["Developed a custom memory allocator (malloc, calloc, realloc, free) in pure C, outperforming highly optimized glibc by 1\\% and placing 3rd overall on the competitive class leaderboard.","Designed a two-level segregated fit (TLSF) allocator utilizing 128-bit bitmask free-list indexing, localized arena allocation, and a deferred-free cache to optimize repeated alloc/free patterns.","Engineered aggressive block-level optimizations, including compressed 32-bit pointers, boundary-tag coalescing with footer elision, and flag-encoded headers for O(1) neighbor status verification."],"dates":"Feb 2026 -- March 2026","id":"malloc","name":"TLSF Malloc","subtitle":"High-Performance Memory Allocation","tags":["systems","c","cpp","quant_dev"]},{"bullets":["Developed a multithreaded TCP server in C (Linux/Raspberry Pi) to serve as an asynchronous store-and-forward audio relay for multiple concurrent clients.","Architected a custom client-server protocol using POSIX sockets and pthreads to efficiently manage connection lifecycles and concurrent message delivery.","Engineered a lock-free ring buffer for concurrent audio ingestion, drastically reducing synchronization overhead and improving system latency."],"dates":"Jan 2026 -- Present","id":"audio_relay","name":"Asynchronous Audio Relay","subtitle":"Low-Latency Concurrent Systems \\& Networking","tags":["systems","c","cpp","networking","quant_dev"]},{"bullets":["Built a full-stack platform that translates natural language into executable soft robotics physics simulations via PyElastica (Cosserat rod theory), winning the Keywords AI (YC W24) Hackathon.","Architected a high-performance FastAPI backend utilizing Numba JIT compilation, coupled with a headless Matplotlib and FFmpeg rendering pipeline for seamless GIF generation.","Developed an interactive React/Vite frontend featuring real-time simulation visualization and LLM-routed code generation through the Keywords AI gateway."],"dates":"Jan 2026 -- Feb 2026","id":"squishy","name":"Squishy.ai","subtitle":"LLM-Driven Soft Robotics Simulation Platform","tags":["swe","ml","python","hackathon"]},{"bullets":["Developing an interactive Lean4 proof game hosted on adam.math.hhu.de to teach abstract algebra through guided theorem proving, with released content covering groups, abelian groups, subgroups, and normal groups.","Implemented a notation-agnostic `MyGroup` typeclass and supporting level infrastructure in Lean4 to encode group axioms, identity uniqueness, cancellation laws, and reflection-style proof progression.","Architecting Worlds 3-5 to extend the game into advanced topics such as homomorphisms, quotient structures, and group actions while preserving a smooth pedagogical progression."],"dates":"March 2026 -- Present","id":"lean4game","name":"Abstract Algebra, the Game","subtitle":"Interactive Theorem Proving for Abstract Algebra","tags":["formal_verification","math"]},{"bullets":["Designed, backtested, and deployed multi-asset algorithmic trading strategies in Python, utilizing SMA, EMA+RSI, MACD, and statistical arbitrage approaches.","Integrated custom strategies into a live simulation framework to seamlessly trade real-time cryptocurrency and FX market data.","Achieved positive PnL across a diverse portfolio of assets, including BTC, ETH, SOL, INR, ZAR, and JPY."],"dates":"Sept 2025 -- Dec 2025","id":"sigecom","name":"SIGEcom","subtitle":"Systematic Trading Strategy Research \\& Simulation","tags":["quant_dev","python","trading","finance"]},{"bullets":["Implemented the Cox-Ross-Rubinstein binomial model in Python to price European and American options, verifying convergence toward Black-Scholes benchmark values.","Leveraged neural network de-Americanization techniques to convert market American option prices into equivalent European prices, enabling accurate implied volatility computation.","Analyzed early exercise boundaries and computational efficiency across various market regimes to optimize pricing accuracy."],"dates":"Sept 2025 -- Dec 2025","id":"fin_eng","name":"Financial Engineering","subtitle":"Quantitative Options Pricing \\& ML-Based Volatility Modeling","tags":["quant_dev","python","finance","ml"]}],"research":[{"bullets":["Researching verified generation of custom constrained decoding algorithms (CSDs) designed to effectively provide syntactic and semantic correctness.","Implementing Dafny-based contracts to ensure LLM-generated CSDs provably satisfy conditions necessary for valid generation (eventual termination, grammatical correctness).","Evaluating the framework's improvement of several HuggingFace models (Qwen, Mistral, Llama 3) on benchmarks like GSM-Symbolic and FOLIO against other attempted solutions (CRANE, DINGO)."],"dates":"Sept 2025 -- Present","id":"focal","name":"FOCAL Lab","subtitle":"Formal Verification \\& Verified LLM Decoding Research","tags":["formal_verification","ml","dafny","python"]}],"tools":["Git","Linux","Tensorflow","NumPy","Jupyter Notebook","MongoDB","FastAPI","PyElastica"]},"source":"cv_data.json","updated":1540000000.0}