I’m Sathya Tadinada.
I’m a Computer Science master’s student at the University of Utah, where I previously completed Honors bachelor’s degrees in Computer Science and Applied Mathematics. I love working at the intersection of rigorous theory and practical systems.
My journey in computer science started back in middle school, when I first interacted with computers and realized their potential as a vessel for creativity and problem-solving. I was especially drawn to software development because it let me build tools to solve problems I ran into day to day.
In high school and college, I was introduced to theoretical computer science and the mathematical underpinnings of computation, which further solidified my interest in the field. I became fascinated by using computation to tackle complex problems and build technology that can leave a positive impact, and I’ve been seeking opportunities that blend mathematics, theory, and practical software engineering.
Experience
Lead Teaching Assistant · University of Utah / Kahlert School of Computing
– · Salt Lake City, UT
- Grade exams and assignments for CS 3100 (Models of Computation), providing detailed feedback on automata theory, Turing machines, and formal languages to reinforce rigorous proof techniques.
- Develop practice materials and exam preparation resources on topics including the pumping lemma, DFA/NFA design, and reductions.
- Lead weekly review sessions for 100+ students, clarifying complex theoretical concepts and formal proof strategies.
Software Engineering Intern · Select Portfolio Servicing, Inc.
– · West Valley City, UT
- Built and helped operate a production voice and chat AI concierge that handled 52,000+ calls across 33,000 customers in its first five weeks, completing 16,000+ ACH payments worth $25M+.
- Designed server-owned safeguards for regulated payment flows that measured actual disclosure audio playback, re-read interrupted scripts, verified customer consent, and failed closed before debit.
- Replaced an external customer-data aggregator with parallel integration across 11+ internal services, reducing opener-critical latency by 2.9x from roughly 1,792 ms to 615 ms.
- Built a .NET and SQL Server observability stack with high-availability ingest, call and chat monitoring, and 99.8% transcript coverage.
Data Analytics Intern · Select Portfolio Servicing, Inc.
– · West Valley City, UT
- Rebuilt the Advance Continuation Model pipeline by porting 10 SAS regression models into Python and SQL, reducing runtime from 5 days to 30 seconds while preserving statistical fidelity.
- Replicated a full backwards elimination regression workflow and validated coefficient equivalence across platforms.
- Improved reliability of an LLM-powered call summarization system with retry logic, structured error logging, and pipeline validation, reducing failed summaries by 80%.
Undergraduate Researcher · University of Utah / Human-Centered Computing Research Lab
– · Salt Lake City, UT
- Improved software quality by resolving code inconsistencies and standardizing coding conventions across research prototypes.
- Collaborated with researchers to synthesize qualitative data into 8 actionable recommendations for instructional enhancements, improving coding style test metrics by 10%.
Education
University of Utah
Master of Science in Computer Science
– · Salt Lake City, UT
GPA & Honors
GPA: 4.000
Courses
Computational Geometry, Software Verification
University of Utah
Honors Bachelor of Science in Computer Science · Bachelor of Science in Applied Mathematics
– · Salt Lake City, UT
GPA & Honors
GPA: 3.950 · Dean’s List
Minor: Psychology
Courses
Discrete Mathematics, Linear Algebra, Computer Systems, Advanced Algorithms, Models of Computation
Projects
FreezeTag: Self-Hosted Image Tagging Platform
Go, Next.js, TypeScript, Python, REST APIs · Aug. 2025 – Present
- Designed and implemented a full-stack image management platform with a Go (Gin) backend and Next.js frontend.
- Built RESTful APIs for image metadata extraction, tagging, and search with typed Result/Option abstractions.
- Implemented a modular architecture for automated tagging (Python-based vision model integration) and third-party plugins.
- Developed tag-based search and filtering UI with caching to reduce redundant API calls and improve perceived load time.
Deferred Rendering Engine
C++, OpenGL, FreeGLUT · Mar. 2025 – Apr. 2025
- Built a deferred rendering pipeline with geometry and lighting passes, multiple render targets, and physically based shading.
- Implemented light volume rendering supporting 128 dynamic lights and optimized fragment shading for high-density scenes.
Custom Memory Allocator
C, Makefile · Oct. 2024 – Nov. 2024
- Implemented a malloc-style memory allocator with free lists, block splitting/coalescing, and alignment guarantees, validating behavior under fragmentation stress tests.
Activities
Co-Founder, President · Software Development Club
May 2023 – Present · Salt Lake City, UT
- Coordinated a month-long online hackathon and portfolio website competition achieving 90%+ member participation.
- Increased active member participation by 60% through strategic partnerships and high-impact events.
- Organized workshops, guest speaker events, and educational activities to support member skill development.
Skills
Languages
Frameworks & Libraries
Tools
Fun Facts
- I compose music and play badminton in my free time.
- I enjoy watching TV shows and movies.
- I love traveling!