Written by humans, for humans.
Alexander Kai Chen
Computer Science & Classics Student
Hey, I'm Alex! I'm a student researcher and software engineer. I'm exploring CS/AI and Classics.
Ancient language, philosophy, and debate are the foundations of modern thought and science. I believe the timeless wisdom found in studying Classics - independent rational judgement, effective rhetoric, and a humanistic worldview - is just as important as technical expertise.
With the rise of AI, genuine human reasoning and understanding becomes ever the more critical to ensure progress is grounded in truth. My work explores how NeSy and explainable AI can ensure technology is honest, transparent, and accessible, to benefit humanity.
Experience
Research
Student NeSy Researcher
UCLA Team ALPHAMath autoformalization & theorem proving
- LRMs, RL, MCTS, Lean4, Python
Solo-author Publication
NeurIPS 2025"iOS as Acceleration", Workshop on Efficient Reasoning
- distributed training, edge compute, MLX/MPS, PyTorch, Swift, Python
Explainable AI Research Intern
Applied Logic & Programming Systems Lab (ALPS)Logic programming and solvers
- Prolog, ASP (answer set programming), blackbox ML
Engineering
Telematics Software & Data Engineer
State FarmIntern, architected agentic data analysis and triage tools
- Python, FastAPI, LangGraph, MCPs, AWS TypeScript, Vite, React
Enterprise Technology Infrastructure Software Engineer
State FarmIntern, enhanced large-scale business-central applications
- Java, TypeScript, Vue, AWS, Azure, Docker
FRC Robotics Software & Data Lead Engineer
FIRST Robotics CompetitionWorld Championships 2024 & 2025
- Led analytics scouting software development team; Java, Android applications, JavaScript
Skills
Programming Languages
- Python
- Java
- TypeScript
- Swift
- SQL
- Clojure
- Prolog
- Lean4
Frameworks & Tools
- Git, GitHub, GitLab
- LangChain, LangGraph, MCPs
- FastAPI, Flask
- PyTorch, TensorFlow, MLX/MPS
- AWS, Azure
- React, Vue, Angular, Vite, Next.js
- Swift iOS apps, Java Android apps
AI/ML
- NeSy (neuralsymbolic) agent systems
- Explainable AI (XAI)
- Applied algorithms & data structures
- Distributed computing & parallelism
Team Collaboration
- Clear communication, public presentation
- Reliable fast-paced delivery
- Agent orchestration
- SCRUM, Agile workflows
Education
Highschool
Homeschool, Classical Education4.0 GPA, 1600 SAT
- 10x AP score 5 (Calc BC, Chem, Phy 1, Stats, CSA, Precalc, Macroecon, Microecon, U.S. Hist, Eng Lang & Comp)
- Classical languages (Latin), Greek & Roman philosophy, debate (formal reasoning, rhetoric & speech)
Dual Credit
Collin College- Discrete Math (grade A)
- Linear Algebra (grade A)
Online Courses
Coursera- "Data Structures & Algorithms Specialization" @ UCSD
- "Build a Modern Computer from First Principles" @ HUJI
Honors & Awards
National Latin Exam
American Classical League & NJCL- Intermediate Latin Gold Summa Cum Laude (2026)
- Beginning Latin Gold Summa Cum Laude (2025)
- Introduction to Latin Magna Cum Laude (2024)
Coolidge Cup Qualifier
Calvin Coolidge Presidential Foundation- Qualified to international prestigious Coolidge Cup tournament for 1v1 Debate
NCFCA Team Policy Debate
National Christian Forensics & Communications Association- Multiple Team Policy Speaker distinctions and team placings in elimination rounds nationally and regionally
- Notably placed 2nd speaker out of ~110 competitors at National Online tournament, 24-25 season
ISEF State Science Fair
Texas Science & Engineering Fair (TXSEF)- 2nd in Software Design / Systems Software
- Awarded full scholarship to Governor's Science & Technology Champion's Academy (GSTCA)
ISEF Regional Science Fair
Dallas Regional Science & Engineering Fair (DRSEF)- 1st in Software Design / Systems Software, advancing to TXSEF
USACO Gold Division
USA Computing Olympiad- Gold Division distinction, top 10% internationally
Connect
- alexander.kai.chen@gmail.com
- Discord: @alxv07
- Twitter/X
- GitHub
- YouTube
- OpenReview
- ORCID
- chess.com
Blog
Written by humans, for humans.
Posts with italicized titles are formalized writings, other posts are more casual updates.