Alex Doyoon Kim
Currently employed as an AI Developer at Rupp Pfalzgraf LLC, Buffalo, NY
A software engineer with a programming languages research background (OCaml, type systems, proof assistants) , experience building full-stack applications, and developing AI tools and software. Currently shipping a set of deployed portfolio projects in web + cloud.
Highlights
- Programming Languages Research: Built and extended type inference infrastructure for a research language (Pirouette), implementing unification-based inference in OCaml.
- Teaching (TA): Supported large courses in Data Structures and Programming Languages (300–350+ students/semester) through recitations, office hours, and grading support.
- Portfolio Build (in progress): Shipping three projects: a contract summarizer (Anthropic API + FastAPI), a legal RAG app (ChromaDB + LlamaIndex), and a PL-focused web tool.
Featured (planned)
B1 — Contract Summarizer (in progress)
PDF intake + Anthropic API + FastAPI backend. Focus: prompt design, file handling, structured legal output.
B2 — Legal RAG App (planned)
Vector search over legal documents + Q&A interface. Focus: chunking strategy, retrieval accuracy, grounded answers.
B3 — PL tool with a web UI (planned)
A small developer tool to visualize/inspect program structure (AST/types/steps).