Alexander Kai Chen
Computer Science & AI Student
I'm a software engineer with experience in algorithms, AI research, and full-stack development. 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
AI/ML
- Neural-Symbolic Systems
- Explainable AI (XAI)
- Distributed Computing & Parallelism
- Edge & Mobile Computing
Theory
- Discrete Mathematics
- Formal Verification
- Theorem Proving
- Data Structures & Algorithms
Workflows
- SCRUM
- Agile
Experience
Researcher & Author
NeurIPS 2025 WorkshopPublished "iOS as Acceleration" in the NeurIPS Workshop on Efficient Reasoning during high school junior year.
Enterprise Tech Software Engineer Intern
State FarmFirst internship role working with enterprise technology systems.
Programming Instructor
Local STEM Summer CampCo-taught programming section for underprivileged youths.
FTC Robotics Team Developer
FIRST Robotics CompetitionDeveloped scouting software for FRC team that competed at World Championships in 2024 and 2025.
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
Computer Science & Artificial Intelligence
Self-Directed Study
Focus areas include Agentic Large Reasoning Models, Natural Language Processing, Distributed Learning, and Explainable AI.
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.
NCFCA Team Policy Debate
National Christian Forensics & Communications AssociationRanked 2nd Team Policy Speaker out of ~110 competitors at the first National Mixer tournament of the 24-25 season. Previously placed 8th out of ~42 teams at first tournament in Jan. 2024.
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.