Skip to content
alex kozik

Experience.

  1. Carnegie Mellon University

    Aug 2026 – Present

    Graduate Research Assistant

    Reinforcement learning for foundation models in Prof. Andrea Zanette's group.

  2. Amazon

    Jun – Aug 2026

    Software Engineer Intern

    AI for Customer Service

    Built an ML-gated fraud check for customer damage claims.

    more
    • Architected an ML-gated damage-claim verification feature to block fraud and reduce manual review.
    • Engineered a secure image-upload pipeline (S3 + virus scanning) passing scanned images to a computer-vision service that synchronously verifies reported damage and gates approval.
    • Built the Java/Kotlin backend orchestrating the multi-step upload-to-decision sequence across services.
  3. Salesforce

    Jun – Aug 2025

    Software Engineer Intern

    Metadata-Driven Services

    Built no-code ML features in Salesforce Data Cloud.

    more
    • Built virtual formula fields in Salesforce Data Cloud for no-code ML features at enterprise scale.
    • Implemented query-time computation over data objects, eliminating staleness and storage overhead.
    • Engineered the Java/Apache Spark layer for formula evaluation over cross-object joins and aggregations.
  4. Cornell Course Management System

    Aug 2023 – Jan 2026

    Lead

    Led the software engineering team behind Cornell's course management system.

    more
    • Led a team of 20 engineers building Cornell’s course management system, used by 10,000+ students.
    • Architected the React/TypeScript student-facing frontend, reducing page load times by 90%.
    • Implemented APIs with serializable data structures for secure frontend/backend communication.

    Report: From Redux to component-level state

  5. Generative AI @ Cornell

    Feb – Dec 2025

    Machine Learning Engineer

    Founding Member

    Built LLM agents and AI tutors.

    more
    • Developed AI agent for QuickFi, a commercial lending technology company, automating insurance certificate validation and compliance verification processes, replacing a manual review step.
    • Built frontend and vector database for ClassGPT, enabling professors to create AI tutors for classes.
  6. Carnegie Mellon University

    May – Aug 2024

    Software Engineer & Research Intern

    NSF REU

    Built a polymorphic type system for SASyLF, a language for writing proofs.

    more
    • Worked on the interpreter for SASyLF, a language for writing proofs, implementing core features in Java.
    • Implemented a polymorphic type system for SASyLF, similar to Java generics, enabling type-safe code reuse and significantly reducing duplication in proofs by allowing abstraction over multiple data types.
  7. Cornell Bowers CIS

    Aug 2023 – Dec 2025

    Teaching Assistant

    • CS 3780/5780Introduction to Machine Learning2025
    • CS 4820/5820Analysis of Algorithms2024
    • CS 3110Data Structures & Functional Programming2023–2024