Alexander Kai Chen
Computer Science & A.I. Student
Hello! I'm a software engineer and researcher with experience in algorithms & data structures, AI/ML, and full-stack development. I have been programming for ~6 years. Currently studying C.S. with a focus on NeSy AI and ML.
Skills
Programming Languages
- Python
- Java
- Swift
- C++
- Lisp (Clojure)
- Prolog
- Lean4
Frameworks & Tools
- AWS
- Azure
- Angular
- FastAPI
- PyTorch
- Mathlib
- JetBrains IDEs
- Git
- Agentic Programming
AI/ML
- Neural-Symbolic Systems
- Explainable AI (XAI)
- Distributed Computing & Parallelism
- Edge & Mobile Computing
Theory
- Algorithms & Data Structures
- Formal Verification
- Discrete Mathematics
- Theorem Proving
Workflows
- SCRUM
- Agile
Experience
Researcher & Author
NeurIPS 2025 PublicationPublished "iOS as Acceleration" in the NeurIPS Workshop on Efficient Reasoning during high school junior year.
Enterprise Tech Software Engineer Intern
State FarmFirst software engineering internship developing internal systems in the Enterprise Technology division.
FRC Robotics Lead Analytics Developer
FIRST Robotics CompetitionDeveloped data scouting software for FRC team, deployed to world championship competitions in 2024 and 2025.
Volunteer Programming Instructor
Local STEM Summer CampCo-taught programming section for underprivileged youths.
Education
Highschool
Homeschool
4.0 GPA, 1600 SAT, 6x APs score 5, currently completing Junior year
Dual Credit College Courses
Collin College
Discrete Math (Grade: A, 100%), Linear Algebra (in-progress)
Online College Courses
Online
"Data Structures & Algorithms Specialization" @ UCSD, "Build a Modern Computer from First Principles" @ HUJI
C.S. & A.I.
Self-Directed Study
Focus areas include Agentic LRMs, NLP, Distributed Learning, XAI.
Honors & Awards
USACO Gold Division
USA Computing OlympiadPromoted to Gold Division; previously promoted to Silver in Dec. 2023, placing 1022 out of 9707 pre-college competitors worldwide.
ISEF Regional Science Fair
Dallas Regional Science & Engineering FairPlaced first, winning "Software Design / Systems Software" category with project "MobilePipe: iPhones as Parallel Compute Accelerators for Local Machine Learning" and advancing to State Fair.
NCFCA Team Policy Debate
National Christian Forensics & Communications AssociationRanked 2nd Team Policy Speaker out of ~110 competitors at national online tournament in the 24-25 season. Previously placed 8th out of ~42 teams at first regional tournament in Jan. 2024.
Coolidge 1v1 Debate
Calvin Coolidge Presidential Foundation DebatePlaced 6th out of ~55 individual debaters at national online tournament in the 25-26 Spring season; placed 2nd in speaker rankings.
Connect
I live in Dallas, Texas, and homeschool with Mother of Divine Grace School. I enjoy competitive programming, speech and debate, playing chess, and studying Latin. I also used to play ice hockey, but now my little sister carries the torch in the AAA boys' leagues (Check out her YT channel! Mina Chen Hockey Player).
- alexander.kai.chen@gmail.com
- Discord: @alxv07
- Twitter/X
- GitHub
- OpenReview
- ORCID
- YouTube
- chess.com
Blog
Written by humans, for humans.
Posts with italicized titles are more substantial writings; posts with non-bolded titles are casual updates.