About Me

Hello! My name is Taiki Aiba, a first-year master’s student at the Georgia Institute of Technology. I am expected to graduate in May 2027 with the following:

  • Master of Science in Computer Science, specialization in Machine Learning
  • Master of Science in Mathematics

I also graduated from the Georgia Institute of Technology in August 2025 with the following:

  • Bachelor of Science in Computer Science, concentrations in Intelligence and Systems/Architecture
  • Bachelor of Science in Mathematics, concentrations in Discrete Mathematics and Business
  • Bachelor of Science in Applied Languages and Intercultural Studies, concentration in Japanese
  • Minor in Economics


Work Experience:

Amazon | Boston, MA

Software Development Engineer Intern
June 2024 – August 2024

  • Worked in the Artificial General Intelligence team.
  • Built a DES in SimPy to model behavior in Alexa’s nodes under varying packet loads, with experiment reproducibility.
  • Engineered C++ automation tooling to interface with internals, feeding packets of variable sizes to measure latency.
  • Processed and statistically analyzed 100k+ CSV/JSON logs with Python to capture patterns and generate insights.
  • Fitted empirical models (85% accuracy) to latency data with Matplotlib, informing scalability to large-scale workloads.

Art of Problem Solving | Waltham, MA

Math Teaching Assistant
July 2022 – June 2026

  • Assisted 300+ elementary, middle, and high school students at AoPS Academy Lexington.
  • Helped instructors in the 2022 (prealgebra and geometry) and 2025 (high school math contests and algebra 1) summer camps.
  • Assisted students in Zoom office hours throughout the school year, averaging 10 students per session.

Math League, LLC | Remote

Curriculum Specialist, Intern
July 2021 – Present

  • As an Intern since July 2021 and Curriculum Specialist after three years, wrote 300+ math problems for competitions aimed at elementary, middle, and high school students.
  • Lead writer for the Number Sense Challenge, a speed-based challenge for elementary school students.
  • In 2022-2023, was the lead instructor for the middle school AfterMath program, which goes over problems from the middle school contests.

Teaching:

Georgia Institute of Technology:

  • CS 3510: Design and Analysis of Algorithms (Graduate Teaching Assistant: Fall 2025, Spring 2026; Undergraduate Teaching Assistant: Fall 2024, Spring 2025)
  • CS 2050: Introduction to Discrete Mathematics for Computer Science (Undergraduate Teaching Assistant: Summer 2023, Fall 2023, Spring 2024)
  • MATH 2551: Multivariable Calculus (Lecture Assistant: Spring 2023)

University of Illinois Urbana-Champaign:

  • CS 124: Introduction to Computer Science I (Course Assistant: Spring 2022)

Research:

Georgia Tech School of Mathematics | Atlanta, GA

Research Assistant
Fall 2023 – Present

  • Advised by Dr. Ernie Croot.
  • Explored the Kirchhoff Matrix-Tree Theorem and researched domino tiling enumerations on a grid to attempt to strengthen existing bounds.
  • Researched maximal induced forests in multi-dimensional grid graphs; found and proved bounds with a construction giving a tight upper bound for two-dimensional graphs, but discovered these results were already found in Caragiannis et al. (2002).
  • Found an upper bound of $3n^2/4$ for the size of maximal induced 4-cycle-free subgraphs in two-dimensional grid graphs. Proved upper and lower bounds on the number of such subsets with $(3/4 - \varepsilon)n^2$ vertices by considering local $2 \times 2$ subgrids and identifying a necessary constructive condition.
  • Our work resulted in the paper 4-cycle-free induced subgraphs of grid graphs; presented at MAA-SE 2026.

Quad Packing Research Group | Remote

Research Assistant
Spring 2025 – Present

  • Advised by Dr. Timothy Goldberg (Lenoir-Rhyne University) and Dr. Lauren Rose (Bard College).
  • Select participants from the 2024 Polymath Jr REU plus other researchers met at JMM 2025.
  • Proved an exact expression for the flat ($r$-dimensional affine subspaces of a vector space $V$) number, showing that each term $M(n)$ can be written as the sums and products of certain combinations of powers of 2 in the binary representation of $n$.
  • Proved quad packing is equivalent to flat packing via an injective mapping, resolving a conjecture in a 2023 MIT Primes paper.
  • Our work resulted in the paper Quad-packing in the game EvenQuads; presented at MAA-SE 2026, contributed to JMM 2026.

Williams College | Remote

Participant (2024), Graduate Research Mentor (2025)
Summer 2024, 2025

  • Worked in the Games and Finite Geometry team of the Polymath Jr REU, advised by Dr. Timothy Goldberg (Lenoir-Rhyne University) and Dr. Lauren Rose (Bard College).
  • Researched the quad number $q(n)$ in the card game Quads; wrote C++ code to brute-force results for $n \in [4,16]$ and $d=\lceil \log_2 n \rceil$.
  • Mentored $20$ undergraduates, introducing them to the research problem and the game itself through resources and weekly meetings.
  • Proved upper bound expression for $q(n)$ and attainability for $n$ a power of two; presented at JMM 2025 and MAA-SE 2025.

Georgia Tech School of Modern Languages | Atlanta, GA

Research Assistant
Summer 2024

  • Advised by Kyoko Masuda.
  • Researched frequency of female versus male pronouns in the manga Sazae-san and drew conclusions based on different age groups.
  • Submitted collaborative research paper in Japanese to the SGSJ in 2024; presented at SGSJ 2024.

Georgia Tech School of Electrical and Computer Engineering | Atlanta, GA

Research Assistant
Fall 2023

  • Worked in the Retrofuturistic Hardware team under Dr. Aaron Lanterman.
  • Translated docs of the Japanese NEC PC-FX game console to English, storing 12 files of 15k+ lines in Github Pages.
  • Researched the PC-FX’s address map, register list, and I/O access space and the specs of its sound processing device.
  • Analyzed the C Compiler of the GMAKER Starter Kit (processing flow/registers), allowing user-made software to run.
  • Wrote graphical software in C with the kit to run on the PC-FX to showcase its usability to a team of 3 and a professor.

Conferences/Seminars:

  • March 2026 - MAA Southeastern Sectional Meeting, University of North Alabama, Florence, AL
    • Session: Contributed Papers Session #6
    • Talk: Burnside's lemma and applications in competition problems
  • March 2026 - MAA Southeastern Sectional Meeting, University of North Alabama, Florence, AL
    • Session: Recreational Math Session #2
    • Talk: Quad-packing in the game EvenQuads
  • March 2026 - MAA Southeastern Sectional Meeting, University of North Alabama, Florence, AL
    • Session: Contributed Papers Session #1
    • Talk: 4-cycle-free induced subgraphs of grid graphs
  • March 2025 - MAA Southeastern Sectional Meeting, High Point University, High Point, NC
    • Session: Undergraduate Paper Session II-4
    • Talk: Quad Packing
  • January 2025 - Joint Mathematics Meetings, Seattle Convention Center, Seattle, WA
    • Session: AMS Special Session on Polymath Jr REU Student Research Session, I
    • Talk: Quad Packing
  • July 2024 - The Society for Gender Studies in Japanese Conference, Tokyo International University, Toshima, Tokyo, Japan
    • Talk: Gender Expressions Used by Female Characters in "Sazae-san" (「サザエさん」の女性登場人物が用いるジェンダー表現の考察)


I used to participate in math competitions a lot. Here are some of my achievements:

  • William Lowell Putnam Mathematical Competition Top 15% (2023) (score 24, rank 606)
  • University of Illinois Freshman Math Contest 3rd Place (2021)
  • Princeton University Mathematics Competition Division B Individual Finalist (2021) (rank 39)
  • American Invitational Mathematics Examination Qualifier (2019, 2020, 2021) (max score 10)
  • USA Mathematical Talent Search Bronze Medalist (2019, 2021)

I was also an active member on the Art of Problem Solving forums as DeToasty3.