I’m Sathya Tadinada.
I’m an Honors Computer Science and Applied Mathematics student at the University of Utah, and 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
Aug. 2024 – Present · 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 various topics (e.g., pumping lemma, DFA/NFA design, reductions).
- Lead weekly review sessions for 100+ students, clarifying complex theoretical concepts and formal proof strategies.
Software Engineering Intern · Select Portfolio Servicing, Inc.
May 2025 – Aug. 2025 · West Valley City, UT
- Rebuilt the Advance Continuation Model (ACM) pipeline by porting 10 SAS regression models into Python and SQL, reducing runtime from 5 days to 30 seconds (99.99% improvement) 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 by implementing retry logic, structured error logging, and pipeline validation — reducing failed summaries by 80%.
Undergraduate Researcher · University of Utah / Human-Centered Computing Research Lab
Feb. 2023 – Aug. 2023 · 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
Aug. 2026 – May 2027 · Salt Lake City, UT
University of Utah
Honors Bachelor of Science in Computer Science · Bachelor of Science in Applied Mathematics
Aug. 2022 – May 2026 · 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!