made with anime.js, astro, antigravity
Hi! I'm Simon. I'm a 4th-year student at the University of Washington studying Informatics (Software Engineering) and Mathematics. This is my personal website, it contains references to my social media, some contact information, and blank space for the future.
Work
Software Engineer, Prime Air
Incoming Jun 2026 Software Engineer Intern (Year-Round) Nov 2023 – Jun 2026
- Migrated a Lambda-based file processing service to Fargate with Java 21 and virtual threads, implementing streaming I/O to process terabytes of data with minimal memory during a petabyte-scale migration of billions of files.
- Built a workflow observability dashboard for global book publishing with React and Lambda, providing real-time failure diagnostics that eliminated cross-system investigation for 25% of on-call tickets.
- Replaced 5 manually-scaled CloudSearch domains with serverless OpenSearch using a DynamoDB Streams pipeline, reducing total storage by 66% through document consolidation with upsert operations.
- Embedded debugging tools into a legacy JSP dashboard, consolidating cross-region checks into a single interface that eliminated 40+ seconds of navigation per incident.
- Building knowledge graphs over formalized mathematics in Lean / Mathlib to surface structural relationships between definitions, theorems, and proofs.
- Designing tooling to make the corpus tractable for downstream ML — search, retrieval, and graph-augmented prompting over the dependency network.
Projects
- Created a bot that streamed 2000+ job postings to over 150,000 total users in SWE-related discord servers for UW, USC, UCI, and more.
- Built a URL-shortening and analytics service handling 5M+ total clicks with 70K daily peak traffic using Express, DuckDB, EC2, and PostgreSQL on a fully free-tier stack.
- Developed a headless-browser crawler to classify closed job links with 95%+ accuracy, capture screenshots, and create pull requests using Puppeteer and the GitHub API.
- Lead a team of 2 developers over a 6-month capstone to build a job-mail classification service.
- Hosted Postfix and RabbitMQ on an EC2 instance to create a data pipeline, with LangChain and Gemini 2.0 to extract structured job statuses (e.g. rejection, interviews) from raw email data.
- Implemented full-stack security using Firebase's authentication service and displayed classification results on a React dashboard polling from Firestore.
- Engineered a cellular automata–based traffic flow simulator and applied dual annealing to optimize light cycles.
- Modeled agent traffic through a DAG using Poisson-distributed spawning, efficient topological sorting, and linear shortest-path routing.
simku22 [at] uw.edu