Hi, I'm Theo.
Computer science student at the University of Michigan.
Education
-
University of Michigan, Ann Arbor
BSE in Computer Science
May 2027
GPA: 4.0
Relevant courses: Advanced OS, Abstract Algebra, Probability Theory, Proof-based Linear Algebra, Computer Science Theory, Cybersecurity, Multivariable Calculus, Web Development, Machine Learning
-
Vrije Universiteit Amsterdam
Study Abroad - Semester in Amsterdam
Jan 2025-May 2025
Relevant courses: Computational Intelligence, Software Design, Text Mining for AI, Basic Dutch Language
Work Experience
-
Software Engineer Intern (Infra Networking)
Roblox
May 2026-Aug 2026
Designed & built device-level draining for Drainer, a service that safely decommissions network devices with capacity-aware locking ("draining"), via a new gRPC/Protobuf API, DB migration, and Go Temporal workflow, running 336 drains with 40-50% reduced runtime compared to legacy system.
Designed a distributed locking scheme that enforces network capacity guarantees during concurrent drains so non-conflicting operations run in parallel while overlapping ones serialize.
Built a code generator that produces Temporal activities from a gRPC/Protobuf service spec, eliminating hand-written boilerplate; applied it to expose 187 Network API endpoints to NAP (Network Automation Platform) workflows and deployed it to 30 production workers.
Onboarded all device and interface drains onto Drainer to replace the legacy framework, including COPS (Continuous OS Patching Service), which now drains devices through Drainer before applying OS patches.
-
Software Engineer Intern (Infra Networking)
Roblox
Jun 2025-Aug 2025
Implemented the end-to-end design, development, and deployment of Synapse, a ReAct LLM agent that autonomously collects and analyzes relevant information to answer questions about Roblox’s network infrastructure, achieving a 90% accuracy, reducing workload for on-call engineer, and pioneering NetEng’s AI initiatives.
Developed and deployed an MCP server to integrate Synapse with NetDB, Roblox’s authoritative database for network infrastructure, enabling the agent’s ability to provide live, accurate information about the infrastructure and changelogs.
Created a chatbot user interface within NetDB’s UI and presented the product to the NetEng team, addressing their feedback and concerns and facilitating seamless integration into daily operations.
-
Data Center Engineering Intern
Cisco Systems
May 2024-Aug 2024
Wrote scripts in Python for a major client that use an internal API to automate gathering and analysis of faults across a dozen ACI fabrics, presenting results along with recommended remediation actions, saving the customer hundreds of hours in troubleshooting and early remediation.
Created an internal dashboard to facilitate the creation and discovery of stretch assignments, enabling future early-in-career engineers to take on new projects, learn new skills, and further their professional development
-
IT Helpdesk Tech Assistant
University of Michigan School of Public Health
Sept 2023-Present
Configure and deploy laptops for university faculty, ensuring optimal performance and security settings.
Collaborated with the IT team to maintain inventory records, track deployment progress, and manage asset tagging.
Projects
Simple Autograder
Designed and implemented a fault-tolerant code execution pipeline in Go using Temporal for durable workflow orchestration, ensuring zero submission loss across worker crashes and infrastructure failures.
Built a producer-consumer streaming architecture using Temporal Workflow Updates as a FIFO buffer, enabling low-latency real-time result delivery over a server-streaming gRPC interface without polling overhead.
Implemented a subprocess execution engine with per-test timeouts (5s), peak memory tracking via syscall.Rusage, and 128MB memory enforcement; non-fatal test errors are isolated from workflow health.
Defined a typed protobuf API for code submission and result streaming, exposing SubmitCode (server-streaming), GetSubmissions, and GetSubmission RPCs with proper gRPC status codes and deadline propagation.
Applied differentiated retry policies across activity types: exponential backoff (1s→60s, up to 10 attempts) for database writes; zero retries for subprocess execution to surface errors immediately without masking flakiness.
Skills: Go, Temporal, Durable Execution, Postgres, OS Processes
ViewFlappy Bird AI
Collaborated with the Reinforcement Learning Subteam to build a neuroevolutionary agent, achieving superhuman, indefinite performance in “Flappy Bird” with under 10 minutes of training.
Wheel of Decisions
A website I first created to be a fun way to decide who goes first at our daily scrum meetings at Cisco, but it can be used in a wide range of situations. My manager loved it.
Skills: HTML, CSS, JavaScript
ViewCertifications
-
Cisco Certified DevNet Associate
July 2024
-
Cisco Certified Networking Associate (CCNA)
Sept 2021